Alessandro Cimatti

Director, Center for Digital Industry, Fondazione Bruno Kessler

Joined

July 2019

Names

Alessandro Cimatti

Emails

****@fbk.eu (Confirmed)

Personal Links

Career & Education History

Director

Center for Digital Industry, Fondazione Bruno Kessler (fbk.eu)

2021 – Present

Advisors, Relations & Conflicts

Social

Armando Tacchella

2000 – 2026

Coauthor

Kristin Yvonne Rozier

2015 – 2025

Expertise

Formal Verification

1994 – Present

Planning

1990 – Present

Publications

Infinite-State Liveness Checking with rlive
Alessandro Cimatti, Alberto Griggio, Christopher Johannsen, Kristin Yvonne Rozier, Stefano Tonetta
- OpenReview Archive Direct Upload
- Readers: Everyone
Robustness Envelopes for Temporal Plans.
Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi
- 2019 (modified: 10 Nov 2022)
- AAAI2019
- Readers: Everyone
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic
Alessandro Cimatti, Andrea Micheli, Marco Roveri
- 2017 (modified: 02 Mar 2020)
- AAAI 2017
- Readers: Everyone
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies
Alessandro Cimatti, Andrea Micheli, Marco Roveri
- 2016 (modified: 16 Jul 2019)
- AAAI 2016
- Readers: Everyone
Automated Verification and Tightening of Failure Propagation Models
Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Gianni Zampedri
- 2016 (modified: 16 Jul 2019)
- AAAI 2016
- Readers: Everyone
Automated Synthesis of Timed Failure Propagation Graphs
Benjamin Bittner, Marco Bozzano, Alessandro Cimatti
- 2016 (modified: 16 Jul 2019)
- IJCAI 2016
- Readers: Everyone
SMT-Based Validation of Timed Failure Propagation Graphs
Marco Bozzano, Alessandro Cimatti, Marco Gario, Andrea Micheli
- 2015 (modified: 16 Jul 2019)
- AAAI 2015
- Readers: Everyone
Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach
Alessandro Cimatti, Andrea Micheli, Marco Roveri
- 2015 (modified: 16 Jul 2019)
- AAAI 2015
- Readers: Everyone
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty
Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Marco Roveri
- 2014 (modified: 16 Jul 2019)
- AAAI 2014
- Readers: Everyone
Timelines with Temporal Uncertainty
Alessandro Cimatti, Andrea Micheli, Marco Roveri
- 2013 (modified: 16 Jul 2019)
- AAAI 2013
- Readers: Everyone

View all 19 publications

Alessandro Cimatti

Names

Emails

Personal Links

Career & Education History

Advisors, Relations & Conflicts

Expertise

Publications

Co-Authors