TY  - RPRT
TI  - Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System
AU  - Alessandro Pinto
AU  - Anthony Corso
AU  - Edward Schmerling
PY  - 2023
UR  - https://arxiv.org/abs/2304.13517
ID  - 2304.13517
ER  -