Author
A runtime verification layer for robotics: every control action is checked against a formally specified safety envelope using the z3 theorem prover before it executes, demonstrated on a simulated MuJoCo arm.
No public link for this project yet.
← back to all claims