There is an increasing demand for quantitative risk assessment tools capable of providing safety assurances for autonomous vehicle control systems. This demand is due to the recent …
This paper proposes a risk-aware framework for Safe Multi-Agent Planning (SafeMAP) that unifies disparate models for multi-agent systems in a Markovian process that allows for …
Today's control systems that are implemented on commercial vehicles are designed to operate under nominal conditions with drivers, or pilots, typically handling off-nominal …