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

Alessandro Pinto, Anthony Corso, Edward Schmerling

We apply a compositional formal modeling and verification method to an autonomous aircraft taxi system. We provide insights into the modeling approach and we identify several resea…