Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System

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]

Authors

Alessandro Pinto

This author has not been identified. Look up 'Alessandro Pinto' in Google

Anthony Corso 0001

This author has not been identified. Look up 'Anthony Corso 0001' in Google

Edward Schmerling

This author has not been identified. Look up 'Edward Schmerling' in Google