9 citations · 9 across the 2 of their papers we have counts for
2 papers
cs.RO2024
Efficiently Obtaining Reachset Conformance for the Formal Analysis of Robotic Contact Tasks
Chencheng Tang, Matthias Althoff
Formal verification of robotic tasks requires a simple yet conformant model of the used robot. We present the first work on generating reachset conformant models for robotic contac…
cs.LG2022★ 9 cited
Provably Safe Reinforcement Learning: Conceptual Analysis, Survey, and Benchmarking
Hanna Krasowski, Jakob Thumm, Marlon Müller +3
Ensuring the safety of reinforcement learning (RL) algorithms is crucial to unlock their potential for many real-world tasks. However, vanilla RL and most safe RL approaches do not…