TY  - RPRT
TI  - Joint Falsification and Fidelity Settings Optimization for Validation of Safety-Critical Systems: A Theoretical Analysis
AU  - Ali Baheri
AU  - Mykel J. Kochenderfer
PY  - 2023
UR  - https://arxiv.org/abs/2305.06111
ID  - 2305.06111
ER  -