Alessandro Pinto, Anthony Corso 0001, Edward Schmerling. Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System. In IEEE International Conference on Assured Autonomy, ICAA 2023, Laurel, MD, USA, June 6-8, 2023. pages 34-43, IEEE, 2023. [doi]
No references recorded for this publication.
No citations of this publication recorded.