TY  - RPRT
TI  - Data-Driven Modeling and Verification of Perception-Based Autonomous Systems
AU  - Thomas Waite
AU  - Alexander Robey
AU  - Hassani Hamed
AU  - George J. Pappas
AU  - Radoslav Ivanov
PY  - 2023
UR  - https://arxiv.org/abs/2312.06848
ID  - 2312.06848
ER  -