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]
Abstract is missing.