Andrea Micheli

71 papers A* 24A 5B 2C 5Journal 22Unranked 7
YearRankTypeTitle / Venue / Authors
2026 C conf
A SysML v2 Based Modeling Language and Tool for Task Planning and Runtime Verification with Digital Twins.
MODELSWARD
Luca Cristoforetti, Alessandro Flori, Tommaso Fonda, Kostantinos Kapellos, Andrea Micheli, Stefano Tonetta, Alessandro Valentini
2026 J jnl
Compiling Temporal Numeric Planning into Discrete PDDL+: Extended Version.
CoRR
Andrea Micheli, Enrico Scala, Alessandro Valentini
2026 J jnl
Interleaving Scheduling and Motion Planning with Incremental Learning of Symbolic Space-Time Motion Abstractions.
CoRR
Elisa Tosello, Arthur Bit-Monnot, Davide Lusuardi, Alessandro Valentini, Andrea Micheli
2026 J jnl
Multiple interdependent Simple Temporal Networks with Uncertainty: A semi-decentralized multi-agent model with shared control of activity durations.
Inf. Comput.
Ajdin Sumic, Thierry Vidal, Andrea Micheli, Alessandro Cimatti
2025 — conf
AI for industry at FBK.
Ital-IA
Alessandro Cimatti, Fabio Antonelli, Luisa Bentivogli, Marco Cristoforetti, Andrea Micheli, Fabio Poiesi, Fabio Remondino, Angelo Susi, Stefano Tonetta
2025 — conf
Algorithm Configuration in the Unified Planning Framework.
LION (2)
Dimitri Weiß, Andrea Micheli, Kevin Tierney
2025 A* conf
Automatic Selection of Macro-Events for Heuristic-Search Temporal Planning.
AAAI
Alessandro La Farciola, Alessandro Valentini, Andrea Micheli
2025 A* conf
Counterfactual Scenarios for Automated Planning.
KR
Nicola Gigante, Francesco Leofante, Andrea Micheli
2025 J jnl
Counterfactual Scenarios for Automated Planning.
CoRR
Nicola Gigante, Francesco Leofante, Andrea Micheli
2025 A conf
Exploiting Symbolic Heuristics for the Synthesis of Domain-Specific Temporal Planning Guidance Using Reinforcement Learning.
ECAI
Irene Brugnara, Alessandro Valentini, Andrea Micheli
2025 J jnl
Exploiting Symbolic Heuristics for the Synthesis of Domain-Specific Temporal Planning Guidance using Reinforcement Learning.
CoRR
Irene Brugnara, Alessandro Valentini, Andrea Micheli
2025 A* conf
Generalizing Platform-Aware Mission Planning for Infinite-State Timed Transition Systems.
KR
Stefan Panjkovic, Alessandro Cimatti, Andrea Micheli, Stefano Tonetta
2025 A conf
Learning of Lifted Macro-Events for Heuristic-Search Temporal Planning.
ECAI
Alessandro La Farciola, Alessandro Valentini, Andrea Micheli
2025 J jnl
Platform-Aware Mission Planning.
CoRR
Stefan Panjkovic, Alessandro Cimatti, Andrea Micheli, Stefano Tonetta
2025 — ed.
Proceedings of the ECAI Workshop on AI-based Planning for Complex Real-World Applications (CAIPI 2025) co-located with 28th European Conference on Artificial Intelligence (ECAI 2025), Bologna, Italy, October 25, 2025.
CAIPI@ECAI
Oliver Niggemann, Gautam Biswas, Andrea Micheli, René Heesch, Alexander Diedrich, Jonas Ehrhardt, Niklas Widulle
2025 A* conf
Temporal Task and Motion Planning with Metric Time for Multiple Object Navigation.
AAAI
Elisa Tosello, Alessandro Valentini, Andrea Micheli
2025 J jnl
Unified Planning: Modeling, manipulating and solving AI planning problems in Python.
SoftwareX
Andrea Micheli, Arthur Bit-Monnot, Gabriele Röger, Enrico Scala, Alessandro Valentini, Luca Framba, Alberto Rovetta, Alessandro Trapasso, Luigi Bonassi, Alfonso Emilio Gerevini, Luca Iocchi, Félix Ingrand, Uwe Köckemann, Fabio Patrizi, Alessandro Saetti, Ivan Serina, Sebastian Stock
2024 A conf
A Meta-Engine Framework for Interleaved Task and Motion Planning using Topological Refinements.
ECAI
Elisa Tosello, Alessandro Valentini, Andrea Micheli
2024 J jnl
A Meta-Engine Framework for Interleaved Task and Motion Planning using Topological Refinements.
CoRR
Elisa Tosello, Alessandro Valentini, Andrea Micheli
2024 A* conf
Abstract Action Scheduling for Optimal Temporal Planning via OMT.
AAAI
Stefan Panjkovic, Andrea Micheli
2024 — conf
Against the Clock: Lessons Learned by Applying Temporal Planning in Practice.
AI*IA
Andrea Micheli
2024 C conf
Introducing Interdependent Simple Temporal Networks with Uncertainty for Multi-Agent Temporal Planning.
TIME
Ajdin Sumic, Thierry Vidal, Andrea Micheli, Alessandro Cimatti
2024 J jnl
Opportunistic (Re)planning for Long-Term Deep-Ocean Inspection: An Autonomous Underwater Architecture.
IEEE Robotics Autom. Mag.
Elisa Tosello, Paolo Bonel, Alberto Buranello, Marco Carraro, Alessandro Cimatti, Lorenzo Granelli, Stefan Panjkovic, Andrea Micheli
2024 — conf
SMT-Based Repair of Disjunctive Temporal Networks with Uncertainty: Strong and Weak Controllability.
CPAIOR (2)
Ajdin Sumic, Alessandro Cimatti, Andrea Micheli, Thierry Vidal
2023 — conf
Encouraging AI Adoption by SMEs: Opportunities and Contributions by the ICT49 Project Cluster.
IISA
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, Andrea Micheli, Jaime Alessandro Codagnone, Miguel de Prado, Siobhan O'Neill
2023 A* conf
Expressive Optimal Temporal Planning via Optimization Modulo Theory.
AAAI
Stefan Panjkovic, Andrea Micheli
2023 J jnl
Formal Analysis and Verification of Max-Plus Linear Systems.
CoRR
Muhammad Syifa'ul Mufid, Andrea Micheli, Alessandro Abate, Alessandro Cimatti
2023 — ed.
Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28 - December 2, 2022, University of Udine, Udine, Italy.
IPS/RiCeRcA/SPIRIT@AI*IA
Riccardo De Benedictis, Nicola Gatti, Marco Maratea, Andrea Micheli, Aniello Murano, Enrico Scala, Luciano Serafini, Ivan Serina, Alessandro Umbrico, Mauro Vallati
2022 J jnl
An Efficient Incremental Simple Temporal Network Data Structure for Temporal Planning.
CoRR
Andrea Micheli
2022 J jnl
Decidability and complexity of action-based temporal planning over dense time.
Artif. Intell.
Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala
2022 A* conf
Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping.
AAAI
Stefan Panjkovic, Andrea Micheli, Alessandro Cimatti
2022 A* conf
On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning.
KR
Nicola Gigante, Andrea Micheli, Enrico Scala
2022 — ed.
Proceedings of the 9th Italian workshop on Planning and Scheduling (IPS'21) and the 28th International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA'21) with CEUR-WS co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), Milan, Italy (virtual), November 29th-30th, 2021.
IPS-RCRA@AI*IA
Riccardo De Benedictis, Marco Maratea, Andrea Micheli, Enrico Scala, Ivan Serina, Mauro Vallati, Alessandro Umbrico
2021 C conf
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans.
TIME
Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi
2021 C conf
Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans.
TIME
Tomás Ribeiro, Oscar Lima, Michael Cashmore, Andrea Micheli, Rodrigo Ventura
2021 B conf
SMT-Based Model Checking of Max-Plus Linear Systems.
CONCUR
Muhammad Syifa'ul Mufid, Andrea Micheli, Alessandro Abate, Alessandro Cimatti
2021 A* conf
Synthesis of Search Heuristics for Temporal Planning via Reinforcement Learning.
AAAI
Andrea Micheli, Alessandro Valentini
2020 — conf
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving.
FORMATS
Alessandro Abate, Alessandro Cimatti, Andrea Micheli, Muhammad Syifa'ul Mufid
2020 J jnl
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving.
CoRR
Alessandro Abate, Alessandro Cimatti, Andrea Micheli, Muhammad Syifa'ul Mufid
2020 A* conf
Decidability and Complexity of Action-Based Temporal Planning over Dense Time.
AAAI
Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala
2020 — ed.
Joint Proceedings of the 8th Italian Workshop on Planning and Scheduling and the 27th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with AIxIA 2020, Online Event, November 25-27, 2020.
IPS-RCRA@AI*IA
Riccardo De Benedictis, Marco Maratea, Andrea Micheli, Enrico Scala, Ivan Serina, Alessandro Umbrico, Mauro Vallati
2020 — ed.
Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020.
OVERLAY
Riccardo De Benedictis, Luca Geretti, Andrea Micheli
2020 J jnl
Robust Plan Execution with Unexpected Observations.
CoRR
Oscar Lima, Michael Cashmore, Daniele Magazzeni, Andrea Micheli, Rodrigo Ventura
2020 A* conf
Temporal Planning with Intermediate Conditions and Effects.
AAAI
Alessandro Valentini, Andrea Micheli, Alessandro Cimatti
2019 A* conf
Robustness Envelopes for Temporal Plans.
AAAI
Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi
2019 J jnl
Temporal Planning with Intermediate Conditions and Effects.
CoRR
Alessandro Valentini, Andrea Micheli, Alessandro Cimatti
2019 A* conf
Temporal Planning with Temporal Metric Trajectory Constraints.
AAAI
Andrea Micheli, Enrico Scala
2019 J jnl
Towards Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans.
CoRR
Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi
2018 J jnl
Strong temporal planning with uncontrollable durations.
Artif. Intell.
Alessandro Cimatti, Minh Do, Andrea Micheli, Marco Roveri, David E. Smith
2017 J jnl
Disjunctive temporal networks with uncertainty via SMT: Recent results and directions.
Intelligenza Artificiale
Andrea Micheli
2017 A* conf
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic.
AAAI
Alessandro Cimatti, Andrea Micheli, Marco Roveri
2016 A* conf
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies.
AAAI
Alessandro Cimatti, Andrea Micheli, Marco Roveri
2016 J jnl
Dynamic controllability via Timed Game Automata.
Acta Informatica
Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Roberto Posenato, Marco Roveri
2016 — —
Planning and Scheduling in Temporally Uncertain Domains.
Andrea Micheli
2016 A conf
The xSAP Safety Analysis Platform.
TACAS
Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri
2015 J jnl
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty.
Artif. Intell.
Alessandro Cimatti, Andrea Micheli, Marco Roveri
2015 A* conf
Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations.
IJCAI
Andrea Micheli, Minh Do, David E. Smith
2015 A* conf
SMT-Based Validation of Timed Failure Propagation Graphs.
AAAI
Marco Bozzano, Alessandro Cimatti, Marco Gario, Andrea Micheli
2015 J jnl
Solving strong controllability of temporal problems with uncertainty using SMT.
Constraints An Int. J.
Alessandro Cimatti, Andrea Micheli, Marco Roveri
2015 A* conf
Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach.
AAAI
Alessandro Cimatti, Andrea Micheli, Marco Roveri
2015 J jnl
The xSAP Safety Analysis Platform.
CoRR
Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri
2014 C conf
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation.
TIME
Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Roberto Posenato, Marco Roveri
2014 A* conf
The nuXmv Symbolic Model Checker.
CAV
Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta
2014 A* conf
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty.
AAAI
Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Marco Roveri
2013 A* conf
Timelines with Temporal Uncertainty.
AAAI
Alessandro Cimatti, Andrea Micheli, Marco Roveri
2012 A conf
Solving Temporal Problems Using SMT: Strong Controllability.
CP
Alessandro Cimatti, Andrea Micheli, Marco Roveri
2012 A* conf
Solving Temporal Problems Using SMT: Weak Controllability.
AAAI
Alessandro Cimatti, Andrea Micheli, Marco Roveri
2011 A* conf
Kratos - A Software Model Checker for SystemC.
CAV
Alessandro Cimatti, Alberto Griggio, Andrea Micheli, Iman Narasamdya, Marco Roveri
2011 — conf
OthelloPlay: a plug-in based tool for requirement formalization and validation.
TOPI@ICSE
Roberto Cavada, Alessandro Cimatti, Andrea Micheli, Marco Roveri, Angelo Susi, Stefano Tonetta
2010 B conf
Verifying SystemC: A software model checking approach.
FMCAD
Alessandro Cimatti, Andrea Micheli, Iman Narasamdya, Marco Roveri
2009 A* conf
Supporting Requirements Validation: The EuRailCheck Tool.
ASE
Roberto Cavada, Alessandro Cimatti, Alessandro Mariotti, Cristian Mattarei, Andrea Micheli, Sergio Mover, Marco Pensallorto, Marco Roveri, Angelo Susi, Stefano Tonetta