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…