3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.RO2023
Belief Control Barrier Functions for Risk-aware Control
Matti Vahs, Christian Pek, Jana Tumova
Ensuring safety in real-world robotic systems is often challenging due to unmodeled disturbances and noisy sensor measurements. To account for such stochastic uncertainties, many r…
cs.AI2022★ 3 cited
Correct-by-Construction Runtime Enforcement in AI -- A Survey
Bettina Könighofer, Roderick Bloem, Rüdiger Ehlers +1
Runtime enforcement refers to the theories, techniques, and tools for enforcing correct behavior with respect to a formal specification of systems at runtime. In this paper, we are…