Supporting Requirements Validation: The EuRailCheck Tool. - Roberto Cavada; Alessandro Cimatti; Alessandro Mariotti; Cristian Mattarei; Andrea Micheli; Sergio Mover; Marco Pensallorto; Marco Roveri; Angelo Susi; Stefano Tonetta (ASE, 2009)

Verifying SystemC: A software model checking approach. - Alessandro Cimatti; Andrea Micheli; Iman Narasamdya; Marco Roveri (FMCAD, 2010)

Kratos - A Software Model Checker for SystemC. - Alessandro Cimatti; Alberto Griggio; Andrea Micheli; Iman Narasamdya; Marco Roveri (CAV, 2011)

OthelloPlay: a plug-in based tool for requirement formalization and validation. - Roberto Cavada; Alessandro Cimatti; Andrea Micheli; Marco Roveri; Angelo Susi; Stefano Tonetta (TOPI@ICSE, 2011)

Solving Temporal Problems Using SMT: Weak Controllability. - Alessandro Cimatti; Andrea Micheli; Marco Roveri (AAAI, 2012)

Solving Temporal Problems Using SMT: Strong Controllability. - Alessandro Cimatti; Andrea Micheli; Marco Roveri (CP, 2012)

Timelines with Temporal Uncertainty. - Alessandro Cimatti; Andrea Micheli; Marco Roveri (AAAI, 2013)

Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty. - Alessandro Cimatti; Luke Hunsberger; Andrea Micheli; Marco Roveri (AAAI, 2014)

The nuXmv Symbolic Model Checker. - Roberto Cavada; Alessandro Cimatti; Michele Dorigatti; Alberto Griggio; Alessandro Mariotti; Andrea Micheli; Sergio Mover; Marco Roveri; Stefano Tonetta (CAV, 2014)

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 (TIME, 2014)

SMT-Based Validation of Timed Failure Propagation Graphs. - Marco Bozzano; Alessandro Cimatti; Marco Gario; Andrea Micheli (AAAI, 2015)

Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach. - Alessandro Cimatti; Andrea Micheli; Marco Roveri (AAAI, 2015)

Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations. - Andrea Micheli; Minh Do; David E. Smith 001 (IJCAI, 2015)

An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty. - Alessandro Cimatti; Andrea Micheli; Marco Roveri (Artif. Intell., 2015)

Solving strong controllability of temporal problems with uncertainty using SMT. - Alessandro Cimatti; Andrea Micheli; Marco Roveri (Constraints An Int. J., 2015)

Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies. - Alessandro Cimatti; Andrea Micheli; Marco Roveri (AAAI, 2016)

The xSAP Safety Analysis Platform. - Benjamin Bittner; Marco Bozzano; Roberto Cavada; Alessandro Cimatti; Marco Gario; Alberto Griggio; Cristian Mattarei; Andrea Micheli; Gianni Zampedri (TACAS, 2016)

Dynamic controllability via Timed Game Automata. - Alessandro Cimatti; Luke Hunsberger; Andrea Micheli; Roberto Posenato; Marco Roveri (Acta Informatica, 2016)

Planning and Scheduling in Temporally Uncertain Domains. - Andrea Micheli (2016)

Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic. - Alessandro Cimatti; Andrea Micheli; Marco Roveri (AAAI, 2017)

Disjunctive temporal networks with uncertainty via SMT: Recent results and directions. - Andrea Micheli (Intelligenza Artificiale, 2017)

Strong temporal planning with uncontrollable durations. - Alessandro Cimatti; Minh Do; Andrea Micheli; Marco Roveri; David E. Smith 001 (Artif. Intell., 2018)

Robustness Envelopes for Temporal Plans. - Michael Cashmore; Alessandro Cimatti; Daniele Magazzeni; Andrea Micheli; Parisa Zehtabi (AAAI, 2019)

Temporal Planning with Temporal Metric Trajectory Constraints. - Andrea Micheli; Enrico Scala (AAAI, 2019)

Towards Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans. - Michael Cashmore; Alessandro Cimatti; Daniele Magazzeni; Andrea Micheli; Parisa Zehtabi (CoRR, 2019)

Decidability and Complexity of Action-Based Temporal Planning over Dense Time. - Nicola Gigante; Andrea Micheli; Angelo Montanari; Enrico Scala (AAAI, 2020)

Temporal Planning with Intermediate Conditions and Effects. - Alessandro Valentini 001; Andrea Micheli; Alessandro Cimatti (AAAI, 2020)

Computation of the Transient in Max-Plus Linear Systems via SMT-Solving. - Alessandro Abate; Alessandro Cimatti; Andrea Micheli; Muhammad Syifa'ul Mufid (FORMATS, 2020)

Robust Plan Execution with Unexpected Observations. - Oscar Lima; Michael Cashmore; Daniele Magazzeni; Andrea Micheli; Rodrigo Ventura 001 (CoRR, 2020)

Synthesis of Search Heuristics for Temporal Planning via Reinforcement Learning. - Andrea Micheli; Alessandro Valentini 001 (AAAI, 2021)

SMT-Based Model Checking of Max-Plus Linear Systems. - Muhammad Syifa'ul Mufid; Andrea Micheli; Alessandro Abate; Alessandro Cimatti (CONCUR, 2021)

Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans. - Michael Cashmore; Alessandro Cimatti; Daniele Magazzeni; Andrea Micheli; Parisa Zehtabi (TIME, 2021)

Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans. - Tomás Ribeiro; Oscar Lima; Michael Cashmore; Andrea Micheli; Rodrigo Ventura 001 (TIME, 2021)

Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping. - Stefan Panjkovic; Andrea Micheli; Alessandro Cimatti (AAAI, 2022)

On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning. - Nicola Gigante; Andrea Micheli; Enrico Scala (KR, 2022)

An Efficient Incremental Simple Temporal Network Data Structure for Temporal Planning. - Andrea Micheli (CoRR, 2022)

Expressive Optimal Temporal Planning via Optimization Modulo Theory. - Stefan Panjkovic; Andrea Micheli (AAAI, 2023)

Encouraging AI Adoption by SMEs: Opportunities and Contributions by the ICT49 Project Cluster. - Ourania I. Markaki; Aikaterini Papapostolou; Spiros Mouzakitis; Izabela Zrazinska; Urszula Sobek; Thomas Wilczek; Antonis Troumpoukis; Xenia Ziouvelou; Vangelis Karkaletsis; Alexandra Carrasco; Miriam García; Gabriele Röger; et al. (IISA, 2023)

Formal Analysis and Verification of Max-Plus Linear Systems. - Muhammad Syifa'ul Mufid; Andrea Micheli; Alessandro Abate; Alessandro Cimatti (CoRR, 2023)

Abstract Action Scheduling for Optimal Temporal Planning via OMT. - Stefan Panjkovic; Andrea Micheli (AAAI, 2024)

Against the Clock: Lessons Learned by Applying Temporal Planning in Practice. - Andrea Micheli (AI*IA, 2024)

SMT-Based Repair of Disjunctive Temporal Networks with Uncertainty: Strong and Weak Controllability. - Ajdin Sumic; Alessandro Cimatti; Andrea Micheli; Thierry Vidal (CPAIOR (2), 2024)

A Meta-Engine Framework for Interleaved Task and Motion Planning using Topological Refinements. - Elisa Tosello; Alessandro Valentini 001; Andrea Micheli (ECAI, 2024)

Introducing Interdependent Simple Temporal Networks with Uncertainty for Multi-Agent Temporal Planning. - Ajdin Sumic; Thierry Vidal; Andrea Micheli; Alessandro Cimatti (TIME, 2024)

Opportunistic (Re)planning for Long-Term Deep-Ocean Inspection: An Autonomous Underwater Architecture. - Elisa Tosello; Paolo Bonel; Alberto Buranello; Marco Carraro; Alessandro Cimatti; Lorenzo Granelli; Stefan Panjkovic; Andrea Micheli (IEEE Robotics Autom. Mag., 2024)

Automatic Selection of Macro-Events for Heuristic-Search Temporal Planning. - Alessandro La Farciola; Alessandro Valentini 001; Andrea Micheli (AAAI, 2025)

Temporal Task and Motion Planning with Metric Time for Multiple Object Navigation. - Elisa Tosello; Alessandro Valentini 001; Andrea Micheli (AAAI, 2025)

Unified Planning: Modeling, manipulating and solving AI planning problems in Python. - Andrea Micheli; Arthur Bit-Monnot; Gabriele Röger; Enrico Scala; Alessandro Valentini 001; Luca Framba; Alberto Rovetta; Alessandro Trapasso; Luigi Bonassi; Alfonso Emilio Gerevini; Luca Iocchi; Félix Ingrand; et al. (SoftwareX, 2025)

Platform-Aware Mission Planning. - Stefan Panjkovic; Alessandro Cimatti; Andrea Micheli; Stefano Tonetta (CoRR, 2025)

Exploiting Symbolic Heuristics for the Synthesis of Domain-Specific Temporal Planning Guidance using Reinforcement Learning. - Irene Brugnara; Alessandro Valentini 001; Andrea Micheli (CoRR, 2025)

Counterfactual Scenarios for Automated Planning. - Nicola Gigante; Francesco Leofante; Andrea Micheli (CoRR, 2025)