3 citations · 13 across the 17 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Interval POMDP Shielding for Imperfect-Perception Agents
William Scarbro, Ravi Mangal
Autonomous systems that rely on learned perception can make unsafe decisions when sensor readings are misclassified. We study shielding for this setting: given a proposed action, a…
cs.AI2023★ 1 cited
Assumption Generation for the Verification of Learning-Enabled Autonomous Systems
Corina Pasareanu, Ravi Mangal, Divya Gopinath +1
Providing safety guarantees for autonomous systems is difficult as these systems operate in complex environments that require the use of learning-enabled components, such as deep n…