cs.RO
Grand Challenges in the Verification of Autonomous Systems
Kevin Leahy Hamid Asgari Louise A. Dennis Martin S. Feather Michael Fisher Javier Ibanez-Guzman Brian Logan Joanna I. Olszewska Signe Redfield