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

> Research article (2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2018) · cited 22× · AI/ML

**Wikidata**: [openalex:W2909664786](https://www.wikidata.org/wiki/openalex:W2909664786)  
**Source**: https://4ort.xyz/entity/reachset-conformance-of-forward-dynamic-models-for-the-formal-analysis-of-robots