1 paper · 1 filter
Rimvydas Rubavicius, Antonio Valerio Miceli-Barone, Alex Lascarides +1
Cyber-physical systems like autonomous vehicles are tested in simulation before deployment, using domain-specific programs for scenario specification. To aid the testing of autonom…