Combining Semi-formal and Formal Methods for Safety Control in Autonomous Mobility-on-Demand Systems.

Mohamed Naija, Rihab Khemiri, Ernesto Exposito

Browse the full ENASE paper archive.