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.
We propose a framework for runtime verification of ADSs, comprising a scenario description language, a runtime monitor, and an LTL property checker.