Framework

A Runtime Verification Framework for Autonomous Driving Systems

We propose a framework for runtime verification of ADSs, comprising a scenario description language, a runtime monitor, and an LTL property checker.