TY  - RPRT
TI  - Scenario-based Compositional Verification of Autonomous Systems with Neural Perception
AU  - Christopher Watson
AU  - Rajeev Alur
AU  - Divya Gopinath
AU  - Ravi Mangal
AU  - Corina S. Pasareanu
PY  - 2025
UR  - https://arxiv.org/abs/2504.20942
ID  - 2504.20942
ER  -