Platform-Aware Mission Planning with Task-Level Contracts

Panjkovic, Stefan; Cimatti, Alessandro; Incer, Inigo; Micheli, Andrea; Tonetta, Stefano

doi:10.24963/ijcai.2026/689

Platform-Aware Mission Planning with Task-Level Contracts

Stefan Panjkovic, Alessandro Cimatti, Inigo Incer, Andrea Micheli, Stefano Tonetta

Download BibTeX Cite

Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence. Main Track. Pages 6191-6198.

https://doi.org/10.24963/ijcai.2026/689

Keywords

Planning and Scheduling: Planning with Incomplete Information
Planning and Scheduling: Theoretical foundations of planning
Planning and Scheduling: Mixed discrete/continuous planning

Abstract

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 executable and goal-reaching on the real system, which can be arbitrarily complex and possibly non-deterministic.

In this paper, we propose a framework to exploit task-level contracts, expressed as assumptions and guarantees at the beginning and end of tasks, to automatically synthesize plans that are guaranteed to be correct on any system satisfying the contracts. Our framework combines a temporal planner to generate candidate plans and a contract reasoner to instantiate and verify the contracts associated with the plan. If the plan is found invalid, we refine the planning problem until a valid plan is found. We present an experimental evaluation on a realistic case-study and on several synthetic problems, showing the applicability of the approach.

Stefan Panjkovic, Alessandro Cimatti, Inigo Incer, Andrea Micheli, and Stefano Tonetta. 2026. Platform-Aware Mission Planning with Task-Level Contracts. In Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-26. IJCAI, 6191–6198. https://doi.org/10.24963/ijcai.2026/689

@inproceedings{ijcai2026p689,
  title     = {Platform-Aware Mission Planning with Task-Level Contracts},
  author    = {Panjkovic, Stefan and Cimatti, Alessandro and Incer, Inigo and Micheli, Andrea and Tonetta, Stefano},
  booktitle = {Proceedings of the Thirty-Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI-26}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {Diego Calvanese},
  pages     = {6191--6198},
  year      = {2026},
  month     = {8},
  note      = {Main Track},
  doi       = {10.24963/ijcai.2026/689},
  url       = {https://doi.org/10.24963/ijcai.2026/689},
}

TY  - CPAPER
TI  - Platform-Aware Mission Planning with Task-Level Contracts
AU  - Panjkovic, Stefan
AU  - Cimatti, Alessandro
AU  - Incer, Inigo
AU  - Micheli, Andrea
AU  - Tonetta, Stefano
T2  - Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-26
PB  - International Joint Conferences on Artificial Intelligence Organization
PY  - 2026
SP  - 6191
EP  - 6198
DO  - 10.24963/ijcai.2026/689
UR  - https://doi.org/10.24963/ijcai.2026/689
ER  -