Skip to content

Author

A. Cimatti

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Conference Open access Sep 2026

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 executable and goal-reac...

Stefan Panjkovic, A. Cimatti, Inigo Incer et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.