Inigo Incer

Platform-Aware Mission Planning with Task-Level Contracts

Automated temporal planning is used to synthesize courses of action for a deterministic abstraction of a system; the produced plans are often modeled as schedules of tasks to be executed on the real system under control. A key problem with adopting this architecture is how to ensure the plan is exec