About me

My name is Andrea Micheli, I am the head of the Planning, Scheduling and Optimization (PSO) research unit in the Digital Industry center at Fondazione Bruno Kessler, Italy.

I am the principal investigator for the ERC Starting Grant project STEP-RL and I served as the coordinator of the AIPlan4EU project. My research interests include Automated Planning and Scheduling, Formal Verification and Satisfiability Modulo Theory.

I am the main developer of the TAMER planner and of the PySMT library. Moreover, I coordinated the developemnt of the unified-planning library and I contributed to the development of the nuXmv model-checker.

  Research interests

My primary interest is Artificial Intelligence Planning and Scheduling. I focused my research on the study of temporally expressive and uncontrollable domains in planning and I'm currently developing planning systems that take into account these aspects while reasoning.

I interested in the relationship between automated planning and Reinforcement Learning as a way for making planning more efficient and flexible.

I am also interested in Satisfiablility Modulo Theory especially in Linear and Non-linear Real Arithmetic and Quantified Theories as an enabling technology for my research in the area of optimal temporal planning.

  Publications

C26
Stefan Panjkovic and Andrea Micheli
Expressive Optimal Temporal Planning via Optimization Modulo Theory
in AAAI 2023
Paper
J6
Nicola Gigante, Andrea Micheli, Angelo Montanari and Enrico Scala
Decidability and complexity of action-based temporal planning over dense time
in Artificial Intelligence 2022
Paper
C25
Nicola Gigante, Andrea Micheli and Enrico Scala
On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning
in KR 2022
Paper
C24
Stefan Panjkovic and Andrea Micheli
Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping
in AAAI 2022
Paper
C23
Muhammad Syifa'ul Mufid, Andrea Micheli, Alessandro Abate and Alessandro Cimatti
SMT-Based Model Checking of Max-Plus Linear Systems
in CONCUR 2021
Paper
C22
Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli and Parisa Zehtabi
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans
in TIME 2021
Paper
C21
Tomas Ribeiro, Oscar Lima, Michael Cashmore, Andrea Micheli and Rodrigo Ventura
Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans
in TIME 2021
Paper
C20
Andrea Micheli and Alessandro Valentini
Synthesis of Search Heuristics for Temporal Planning via Reinforcement Learning
in AAAI 2021
Paper
W5
Oscar Lima, Michael Cashmore, Daniele Magazzeni, Andrea Micheli and Rodrigo Ventura
Robust Execution of Deterministic Plans in Non-deterministic Environments
in INTEX 2020
Paper
W4
Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli and Parisa Zehtabi
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans
in INTEX 2020
Paper
W3
Andrea Micheli and Alessandro Valentini
Synthesis of Search Heuristics for Temporal Planning via Reinforcement Learning
in PRL 2020
Paper
C19
Nicola Gigante, Andrea Micheli, Angelo Montanari and Enrico Scala
Decidability and Complexity of Action-Based Temporal Planning over Dense Time
in AAAI 2020
Paper
C18
Alessandro Valentini, Andrea Micheli and Alessandro Cimatti
Temporal Planning with Intermediate Conditions and Effects
in AAAI 2020
Paper
C17
Andrea Micheli and Enrico Scala
Temporal Planning with Temporal Metric Trajectory Constraints
in AAAI 2019
Paper Slides
C16
Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli and Parisa Zehtabi
Robustness Envelopes for Temporal Plans
in AAAI 2019
Paper Slides
J5
Alessandro Cimatti, Minh Do, Andrea Micheli, Marco Roveri and David E. Smith
Strong Temporal Planning with Uncontrollable Durations
in Artificial Intelligence 2017
Paper DOI
J4
Andrea Micheli
Disjunctive temporal networks with uncertainty via SMT: Recent results and directions
in Intelligenza Artificiale 2017
Paper DOI
C15
Alessandro Cimatti, Andrea Micheli and Marco Roveri
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic
in AAAI 2017
Paper
J3
Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Roberto Posenato and Marco Roveri
Dynamic Controllability via Timed Game Automata
in Acta Informatica 2016
Paper DOI
C14
Alessandro Cimatti, Andrea Micheli and Marco Roveri
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies
in AAAI 2016
Paper
C13
Marco Gario and Andrea Micheli
pySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms
in SMT Workshop 2015
Paper
C12
Andrea Micheli, Minh Do and David E. Smith
Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations
in IJCAI 2015
Paper
I1
Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli and Gianni Zampedri
The xSAP Safety Analysis Platform
in CoRR 2015
Paper
W2
Andrea Micheli, Minh Do and David E. Smith
Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations
in SPARK 2015
Paper
J2
Alessandro Cimatti, Andrea Micheli and Marco Roveri
An SMT-based approach to Weak Controllability for Disjunctive Temporal Problems with Uncertainty
in Artificial Intelligence 2015
Paper DOI
C11
Marco Bozzano, Alessandro Cimatti, Marco Gario and Andrea Micheli
SMT-based Validation of Timed Failure Propagation Graphs
in AAAI 2015
Paper
C10
Alessandro Cimatti, Andrea Micheli and Marco Roveri
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach
in AAAI 2015
Paper
J1
Alessandro Cimatti, Andrea Micheli and Marco Roveri
Solving strong controllability of temporal problems with uncertainty using SMT
in Constraints 2015
Paper DOI
C9
Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri and Stefano Tonetta
The nuXmv Symbolic Model Checker
in CAV 2014, pages 334-342
Paper
C8
Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Roberto Posenato and Marco Roveri
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation
in TIME 2014
Paper
C7
Alessandro Cimatti, Luke Hunsberger, Andrea Micheli and Marco Roveri
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty
in AAAI 2014
Paper
C6
Alessandro Cimatti, Andrea Micheli and Marco Roveri
Timelines with Temporal Uncertainty
in AAAI 2013
Paper Slides
C5
Alessandro Cimatti, Andrea Micheli and Marco Roveri
Solving Temporal Problems Using SMT: Strong Controllability
in CP 2012, pages 248-264
Paper Slides
C4
Alessandro Cimatti, Andrea Micheli and Marco Roveri
Solving Temporal Problems Using SMT: Weak Controllability
in AAAI 2012, pages 448-454
Paper Slides
C3
Alessandro Cimatti, ALberto Griggio, Andrea Micheli, Iman Narasamdya and Marco Roveri
Kratos - A Software Model Checker for SystemC
in CAV 2011, pages 310-316
Paper
W1
Roberto Cavada, Alessandro Cimatti, Andrea Micheli, Marco Roveri, Angelo Susi and Stefano Tonetta
OthelloPlay: a plug-in based tool for requirement formalization and validation
in TOPI 2010, pages 59-59
Paper
C2
Alessandro Cimatti, Andrea Micheli, Iman Narasamdya and Marco Roveri
Verifying SystemC: A software model checking approach
in FMCAD 2010, pages 51-59
Paper
C1
Roberto Cavada, Alessandro Cimatti, Alessandro Mariotti, Cristian Mattarei, Andrea Micheli, Sergio Mover, Marco Pensallorto, Marco Roveri, Angelo Susi and Stefano Tonetta
Supporting Requirements Validation: The EuRailCheck Tool
in ASE 2009, pages 665-667
Paper

  PhD Thesis

My PhD thesis titled "Planning and Scheduling in Temporally Uncertain Domains" has been successfully defended at the University of Trento, Italy on January, 19th 2016.

The thesis won the following awards and recognitions:

The thesis and the relative additional materials are available from the buttons below.

Download Thesis

  Teaching

I served as teaching assistant for the Functional and Logic Programming Languages course at the Free University of Bolzano during the academic year 2010/2011.

  Contacts

Andrea Micheli
Embedded Systems Unit, FBK-ICT
Via Sommarive 18, 38123, Trento, Italy
 
  (+39) 0461 314 138