1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.RO2026★ 1 cited
Learning A Unified Risk Map for Autonomous Driving in Partially Observable Environments
Jie Jia, Yaofeng Su, Zeyu Bao +4
Occlusion-aware prediction remains a critical challenge in autonomous driving due to the inherent uncertainty of unobserved regions. Existing approaches either overestimate risk ba…
eess.SY2024
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges
Xiang Yin, Bingzhao Gao, Xiao Yu
In recent years, formal methods have been extensively used in the design of autonomous systems. By employing mathematically rigorous techniques, formal methods can provide fully au…