User: Guest  Login
If you experience problems opening the document, please try this link.
Document type:
Zeitschriftenaufsatz
Author(s):
Foughali, Mohammed ; Zuepke, Alexander
Title:
Formal Verification of Real-Time Autonomous Robots: An Interdisciplinary Approach
Keywords:
Robotics and AI ; robotics ; real-time systems ; formal methods ; timed automata ; locking protocols
Journal title:
Frontiers in Robotics and AI
Year:
2022
Journal volume:
9
Fulltext / DOI:
doi:10.3389/frobt.2022.791757
Publisher:
Frontiers Media S.A.
E-ISSN:
2296-9144
Date of publication:
13.04.2022
CC license:
by, https://creativecommons.org/licenses/by/4.0
 BibTeX