- Titel:
Formal Verification of Real-Time Autonomous Robots: An Interdisciplinary Approach
- Dokumenttyp:
- Zeitschriftenaufsatz
- Autor(en):
- Foughali, Mohammed ; Zuepke, Alexander
- Stichworte:
- Robotics and AI ; robotics ; real-time systems ; formal methods ; timed automata ; locking protocols
- Zeitschriftentitel:
- Frontiers in Robotics and AI
- Jahr:
- 2022
- Band / Volume:
- 9
- Volltext / DOI:
- doi:10.3389/frobt.2022.791757
- Verlag / Institution:
- Frontiers Media S.A.
- E-ISSN:
- 2296-9144
- Publikationsdatum:
- 13.04.2022
- CC-Lizenz:
- by, https://creativecommons.org/licenses/by/4.0
BibTeX
Login
