Runtime Verification of Autonomous Driving Systems in CARLA.

Eleni Zapridou, Ezio Bartocci, Panagiotis Katsaros

Browse the full RV paper archive.