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

Chencheng Tang, Matthias Althoff. Efficiently Obtaining Reachset Conformance for the Formal Analysis of Robotic Contact Tasks. In IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2024, Abu Dhabi, United Arab Emirates, October 14-18, 2024. pages 2305-2311, IEEE, 2024. [doi]

Abstract

Abstract is missing.