Runtime Verification of Autonomous Driving Systems in CARLA

Ontology-based specification and analysis of requirements

Model-based Safety Analysis of Requirement Specifications