Sebastián Uchitel

Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions

Temporal task planning guarantees a robot will succeed in its task as long as certain explicit and implicit assumptions about the robot’s operating environment, sensors, and capabilities hold. A robot executing a plan can silently fail to fulfill the task if the assumptions are violated at runtime.…