| 2026 | KR | Over All, PDDL Semantics is Simultaneously Simple and Hard to Get Right. | Nicola Gigante, Andrea Micheli, Enrico Scala, Alessandro Valentini |
| 2026 | MODELSWARD | A SysML v2 Based Modeling Language and Tool for Task Planning and Runtime Verification with Digital Twins. | Luca Cristoforetti, Alessandro Flori, Tommaso Fonda, Kostantinos Kapellos, Andrea Micheli, Stefano Tonetta, Alessandro Valentini |
| 2025 | AAAI | Automatic Selection of Macro-Events for Heuristic-Search Temporal Planning. | Alessandro La Farciola, Alessandro Valentini, Andrea Micheli |
| 2025 | AAAI | Temporal Task and Motion Planning with Metric Time for Multiple Object Navigation. | Elisa Tosello, Alessandro Valentini, Andrea Micheli |
| 2025 | ECAI | Exploiting Symbolic Heuristics for the Synthesis of Domain-Specific Temporal Planning Guidance Using Reinforcement Learning. | Irene Brugnara, Alessandro Valentini, Andrea Micheli |
| 2025 | ECAI | Learning of Lifted Macro-Events for Heuristic-Search Temporal Planning. | Alessandro La Farciola, Alessandro Valentini, Andrea Micheli |
| 2025 | ICAPS | Platform-Aware Mission Planning. | Stefan Panjkovic, Alessandro Cimatti, Andrea Micheli, Stefano Tonetta |
| 2025 | KR | Counterfactual Scenarios for Automated Planning. | Nicola Gigante, Francesco Leofante, Andrea Micheli |
| 2025 | KR | Generalizing Platform-Aware Mission Planning for Infinite-State Timed Transition Systems. | Stefan Panjkovic, Alessandro Cimatti, Andrea Micheli, Stefano Tonetta |
| 2024 | AAAI | Abstract Action Scheduling for Optimal Temporal Planning via OMT. | Stefan Panjkovic, Andrea Micheli |
| 2024 | CPAIOR | SMT-Based Repair of Disjunctive Temporal Networks with Uncertainty: Strong and Weak Controllability. | Ajdin Sumic, Alessandro Cimatti, Andrea Micheli, Thierry Vidal |
| 2024 | ECAI | A Meta-Engine Framework for Interleaved Task and Motion Planning using Topological Refinements. | Elisa Tosello, Alessandro Valentini, Andrea Micheli |
| 2024 | TIME | Introducing Interdependent Simple Temporal Networks with Uncertainty for Multi-Agent Temporal Planning. | Ajdin Sumic, Thierry Vidal, Andrea Micheli, Alessandro Cimatti |
| 2023 | AAAI | Expressive Optimal Temporal Planning via Optimization Modulo Theory. | Stefan Panjkovic, Andrea Micheli |
| 2022 | AAAI | Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping. | Stefan Panjkovic, Andrea Micheli, Alessandro Cimatti |
| 2022 | KR | On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning. | Nicola Gigante, Andrea Micheli, Enrico Scala |
| 2021 | AAAI | Synthesis of Search Heuristics for Temporal Planning via Reinforcement Learning. | Andrea Micheli, Alessandro Valentini |
| 2021 | CONCUR | SMT-Based Model Checking of Max-Plus Linear Systems. | Muhammad Syifa'ul Mufid, Andrea Micheli, Alessandro Abate, Alessandro Cimatti |
| 2021 | TIME | Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans. | Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi |
| 2021 | TIME | Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans. | Toms Ribeiro, Oscar Lima, Michael Cashmore, Andrea Micheli, Rodrigo Ventura |
| 2020 | AAAI | Decidability and Complexity of Action-Based Temporal Planning over Dense Time. | Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala |
| 2020 | AAAI | Temporal Planning with Intermediate Conditions and Effects. | Alessandro Valentini, Andrea Micheli, Alessandro Cimatti |
| 2019 | AAAI | Robustness Envelopes for Temporal Plans. | Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi |
| 2019 | AAAI | Temporal Planning with Temporal Metric Trajectory Constraints. | Andrea Micheli, Enrico Scala |
| 2017 | AAAI | Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic. | Alessandro Cimatti, Andrea Micheli, Marco Roveri |
| 2016 | AAAI | Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies. | Alessandro Cimatti, Andrea Micheli, Marco Roveri |
| 2016 | TACAS | The xSAP Safety Analysis Platform. | Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri |
| 2015 | AAAI | SMT-Based Validation of Timed Failure Propagation Graphs. | Marco Bozzano, Alessandro Cimatti, Marco Gario, Andrea Micheli |
| 2015 | AAAI | Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach. | Alessandro Cimatti, Andrea Micheli, Marco Roveri |
| 2015 | IJCAI | Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations. | Andrea Micheli, Minh Do, David E. Smith |
| 2014 | AAAI | Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty. | Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Marco Roveri |
| 2014 | CAV | The nuXmv Symbolic Model Checker. | Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta |
| 2014 | TIME | Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation. | Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Roberto Posenato, Marco Roveri |
| 2013 | AAAI | Timelines with Temporal Uncertainty. | Alessandro Cimatti, Andrea Micheli, Marco Roveri |
| 2012 | AAAI | Solving Temporal Problems Using SMT: Weak Controllability. | Alessandro Cimatti, Andrea Micheli, Marco Roveri |
| 2012 | CP | Solving Temporal Problems Using SMT: Strong Controllability. | Alessandro Cimatti, Andrea Micheli, Marco Roveri |
| 2011 | CAV | Kratos - A Software Model Checker for SystemC. | Alessandro Cimatti, Alberto Griggio, Andrea Micheli, Iman Narasamdya, Marco Roveri |
| 2011 | ICSE | OthelloPlay: a plug-in based tool for requirement formalization and validation. | Roberto Cavada, Alessandro Cimatti, Andrea Micheli, Marco Roveri, Angelo Susi, Stefano Tonetta |
| 2010 | FMCAD | Verifying SystemC: A software model checking approach. | Alessandro Cimatti, Andrea Micheli, Iman Narasamdya, Marco Roveri |