Login
- Title:
Reachset Conformance of Forward Dynamic Models for the Formal Analysis of Robots
- Document type:
- Konferenzbeitrag
- Contribution type:
- Textbeitrag / Aufsatz
- Author(s):
- Liu, S. B.; Althoff, M.
- Book / Congress title:
- Proc. of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems
- Date of publication:
- 01.10.2018
- Year:
- 2018
- Fulltext / DOI:
- doi:10.1109/IROS.2018.8593975
BibTeX