3 citations · 3 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.RO2023★ 3 cited
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…