Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning

Yue Meng, Zeng Qiu, Md Tawhid Bin Waez +1

Density of the reachable states can help understand the risk of safety-critical systems, especially in situations when worst-case reachability is too conservative. Recent work prov…