Runtime Verification of Autonomous Driving Systems in CARLA

Ontology-based specification and analysis of requirements

Model-based Safety Analysis of Requirement Specifications

Validation of requirements for autonomous systems under continuous development and operations