Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions
Paper i proceeding, 2021
Författare
Sebastián Zudaire
Universidad Nacional de Cuyo
Felipe Gorostiaga
Consejo Nacional de Investigaciones Cientificas y Tecnicas
IMDEA Software Institute
Universidad Politecnica de Madrid
César Sánchez
IMDEA Software Institute
Gerardo Schneider
Göteborgs universitet
Data Science och AI
Sebastián Uchitel
Imperial College London
Universidad de Buenos Aires
Proceedings - IEEE International Conference on Robotics and Automation
10504729 (ISSN)
Vol. 2021-May 6824-6830Xi'an, China,
Ämneskategorier (SSIF 2025)
Robotik och automation
Datavetenskap (datalogi)
DOI
10.1109/ICRA48506.2021.9561671