Stefan B. Liu, Matthias Althoff. Reachset Conformance of Forward Dynamic Models for the Formal Analysis of Robots. In 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2018, Madrid, Spain, October 1-5, 2018. pages 370-376, IEEE, 2018. [doi]
Abstract is missing.