Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions

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]

Authors

Sebastián Zudaire

This author has not been identified. Look up 'Sebastián Zudaire' in Google

Felipe Gorostiaga

This author has not been identified. Look up 'Felipe Gorostiaga' in Google

César Sánchez

This author has not been identified. Look up 'César Sánchez' in Google

Gerardo Schneider

This author has not been identified. It may be one of the following persons: Look up 'Gerardo Schneider' in Google

Sebastián Uchitel

This author has not been identified. Look up 'Sebastián Uchitel' in Google