Efficiently Obtaining Reachset Conformance for the Formal Analysis of Robotic Contact Tasks.

Chencheng Tang, Matthias Althoff

Browse the full IROS paper archive.