Reachset Conformance of Forward Dynamic Models for the Formal Analysis of Robots.

Stefan B. Liu, Matthias Althoff

Browse the full IROS paper archive.