TY  - RPRT
TI  - Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions
AU  - Prithvi Akella
AU  - Mohamadreza Ahmadi
AU  - Richard M. Murray
AU  - Aaron D. Ames
PY  - 2020
UR  - https://arxiv.org/abs/2004.04227
ID  - 2004.04227
ER  -