4 citations · 5 across the 3 of their papers we have counts for
3 papers
cs.RO2022
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…
cs.AI2021★ 4 cited
Learning Density Distribution of Reachable States for Autonomous Systems
Yue Meng, Dawei Sun, Zeng Qiu +2
State density distribution, in contrast to worst-case reachability, can be leveraged for safety-related problems to better quantify the likelihood of the risk for potentially hazar…
cs.LO2019★ 1 cited
Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development
Philipp Berger, Johanna Nellen, Joost-Pieter Katoen +3
In industrial model-based development (MBD) frameworks, requirements are typically specified informally using textual descriptions. To enable the application of formal methods, the…