gatekeeper: Online Safety Verification and Control for Nonlinear Systems in Dynamic Environments.

Devansh Agrawal, Ruichang Chen, Dimitra Panagou

Browse the full IROS paper archive.