Sebastián Zudaire, Felipe Gorostiaga, César Sánchez, Gerardo Schneider, Sebastián Uchitel. Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions. In IEEE International Conference on Robotics and Automation, ICRA 2021, Xi'an, China, May 30 - June 5, 2021. pages 6824-6830, IEEE, 2021. [doi]
Abstract is missing.