Alessandro Cimatti

2 accepted papers

2026

Platform-Aware Mission Planning with Task-Level Contracts

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

IJCAI 2026

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

Cited by 0 Scholar ↗

2022

Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping

Stefan Panjkovic, Andrea Micheli, Alessandro Cimatti

AAAI 2022technical

The field of Temporal Planning (TP) is receiving increasing interest for its many real-world applications. Most of the literature focuses on the TP problem of finding a plan, with algorithms that are not guaranteed to terminate when the problem admits no solution. In this paper, we present sound and…

Cited by 1 Source ↗PDF ↗Scholar ↗