- Dokumenttyp:
- Konferenzbeitrag
- Art des Konferenzbeitrags:
- Textbeitrag / Aufsatz
- Autor(en):
- Liu, S. B.; Althoff, M.
- Titel:
- Reachset Conformance of Forward Dynamic Models for the Formal Analysis of Robots
- Kongress- / Buchtitel:
- Proc. of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems
- Publikationsdatum:
- 01.10.2018
- Jahr:
- 2018
- Volltext / DOI:
- doi:10.1109/IROS.2018.8593975
BibTeX