Sign in

Runtime Verification of Autonomous Driving Systems in CARLA.

Eleni ZapridouEzio BartocciPanagiotis Katsaros
Published in: RV (2020)
Keyphrases
  • autonomous driving
  • distributed systems
  • three dimensional
  • d objects
  • grand challenge