Login
- Titel:
Efficiently Obtaining Reachset Conformance for the Formal Analysis of Robotic Contact Tasks
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Tang, Chencheng; Althoff, Matthias
- Seitenangaben Beitrag:
- 2305-2311
- Kongress- / Buchtitel:
- Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
- Verlag / Institution:
- IEEE
- Publikationsdatum:
- 14.10.2024
- Jahr:
- 2024
- Volltext / DOI:
- doi:10.1109/iros58592.2024.10802263
BibTeX