@misc{indiciaef5a86bdc7b1a,
  title = {gatekeeper: Online Safety Verification and Control for Nonlinear Systems in Dynamic Environments},
  author = {Devansh R Agrawal and Ruichang Chen and Dimitra Panagou},
  year = {2024},
  doi = {10.1109/iros55552.2023.10341790},
  url = {https://arxiv.org/abs/2211.14361},
  note = {Source identifier: 2211.14361}
}