TY  - RPRT
TI  - Falsification of Autonomous Systems in Rich Environments
AU  - Khen Elimelech
AU  - Morteza Lahijanian
AU  - Lydia E. Kavraki
AU  - Moshe Y. Vardi
PY  - 2024
UR  - https://arxiv.org/abs/2412.17992
ID  - 2412.17992
ER  -