TY  - RPRT
TI  - gatekeeper: Online Safety Verification and Control for Nonlinear Systems in Dynamic Environments
AU  - Devansh R Agrawal
AU  - Ruichang Chen
AU  - Dimitra Panagou
PY  - 2024
DO  - 10.1109/iros55552.2023.10341790
UR  - https://arxiv.org/abs/2211.14361
ID  - 2211.14361
ER  -