- Titel:
Guarantees for Real Robotic Systems: Unifying Formal Controller Synthesis and Reachset-Conformant Identification
- Dokumenttyp:
- Zeitschriftenaufsatz
- Autor(en):
- Liu, Stefan B.; Schürmann, Bastian; Althoff, Matthias
- Zeitschriftentitel:
- IEEE Transactions on Robotics
- Jahr:
- 2023
- Band / Volume:
- 39
- Heft / Issue:
- 5
- Seitenangaben Beitrag:
- 3776-3790
- Volltext / DOI:
- doi:10.1109/tro.2023.3277268
- Verlag / Institution:
- Institute of Electrical and Electronics Engineers (IEEE)
- E-ISSN:
- 1552-3098; 1941-0468
- Publikationsdatum:
- 01.10.2023
BibTeX