147 citations · 590 across the 30 of their papers we have counts for
3 papers · 2 filters
Formal Verification of Robotic Contact Tasks via Reachability Analysis
Chencheng Tang, Matthias Althoff
Verifying the correct behavior of robots in contact tasks is challenging due to model uncertainties associated with contacts. Standard methods for testing often fall short since al…
Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad
Yuanfei Lin, Michael Ratzel, Matthias Althoff
Scenarios are a crucial element for developing, testing, and verifying autonomous driving systems. However, open-source scenarios are often formulated using different terminologies…
Reducing Safety Interventions in Provably Safe Reinforcement Learning
Jakob Thumm, Guillaume Pelat, Matthias Althoff
Deep Reinforcement Learning (RL) has shown promise in addressing complex robotic challenges. In real-world applications, RL is often accompanied by failsafe controllers as a last r…