Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions.

Sebastin Zudaire, Felipe Gorostiaga, Csar Snchez, Gerardo Schneider, Sebastin Uchitel

Browse the full ICRA paper archive.