Andrea Micheli

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 29

Top Venues

University of Trento, Italy (PHD)

Education History

University of Trento, Italy

PHD

Publications

Elisa Tosello, Paolo Bonel, Alberto Buranello, Marco Carraro, Alessandro Cimatti, Lorenzo Granelli, Stefan Panjkovic, Andrea Micheli
Opportunistic (Re)planning for Long-Term Deep-Ocean Inspection: An Autonomous Underwater Architecture. IEEE Robotics Autom. Mag. 31 (1) (2024)
Aïdin Sumic, Alessandro Cimatti, Andrea Micheli, Thierry Vidal
SMT-Based Repair of Disjunctive Temporal Networks with Uncertainty: Strong and Weak Controllability. CPAIOR (2) (2024)
Stefan Panjkovic, Andrea Micheli
Abstract Action Scheduling for Optimal Temporal Planning via OMT. AAAI (2024)
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
Encouraging AI Adoption by SMEs: Opportunities and Contributions by the ICT49 Project Cluster. IISA (2023)
Muhammad Syifa'ul Mufid, Andrea Micheli, Alessandro Abate, Alessandro Cimatti
Formal Analysis and Verification of Max-Plus Linear Systems. CoRR (2023)
Stefan Panjkovic, Andrea Micheli
Expressive Optimal Temporal Planning via Optimization Modulo Theory. AAAI (2023)
Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala
Decidability and complexity of action-based temporal planning over dense time. Artif. Intell. 307 (2022)
Andrea Micheli
An Efficient Incremental Simple Temporal Network Data Structure for Temporal Planning. CoRR (2022)
Stefan Panjkovic, Andrea Micheli, Alessandro Cimatti
Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping. AAAI (2022)
Nicola Gigante, Andrea Micheli, Enrico Scala
On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning. KR (2022)
Andrea Micheli, Alessandro Valentini
Synthesis of Search Heuristics for Temporal Planning via Reinforcement Learning. AAAI (2021)
Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans. TIME (2021)
Muhammad Syifa'ul Mufid, Andrea Micheli, Alessandro Abate, Alessandro Cimatti
SMT-Based Model Checking of Max-Plus Linear Systems. CONCUR (2021)
Tomás Ribeiro, Oscar Lima, Michael Cashmore, Andrea Micheli, Rodrigo Ventura
Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans. TIME (2021)
Alessandro Abate, Alessandro Cimatti, Andrea Micheli, Muhammad Syifa'ul Mufid
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving. FORMATS (2020)
Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala
Decidability and Complexity of Action-Based Temporal Planning over Dense Time. AAAI (2020)
Oscar Lima, Michael Cashmore, Daniele Magazzeni, Andrea Micheli, Rodrigo Ventura
Robust Plan Execution with Unexpected Observations. CoRR (2020)
Alessandro Abate, Alessandro Cimatti, Andrea Micheli, Muhammad Syifa'ul Mufid
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving. CoRR (2020)
Alessandro Valentini, Andrea Micheli, Alessandro Cimatti
Temporal Planning with Intermediate Conditions and Effects. AAAI (2020)
Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi
Robustness Envelopes for Temporal Plans. AAAI (2019)
Andrea Micheli, Enrico Scala
Temporal Planning with Temporal Metric Trajectory Constraints. AAAI (2019)
Alessandro Valentini, Andrea Micheli, Alessandro Cimatti
Temporal Planning with Intermediate Conditions and Effects. CoRR (2019)
Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi
Towards Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans. CoRR (2019)
Alessandro Cimatti, Minh Do, Andrea Micheli, Marco Roveri, David E. Smith
Strong temporal planning with uncontrollable durations. Artif. Intell. 256 (2018)
Alessandro Cimatti, Andrea Micheli, Marco Roveri
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic. AAAI (2017)
Andrea Micheli
Disjunctive temporal networks with uncertainty via SMT: Recent results and directions. Intelligenza Artificiale 11 (2) (2017)
Alessandro Cimatti, Andrea Micheli, Marco Roveri
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies. AAAI (2016)
Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Roberto Posenato, Marco Roveri
Dynamic controllability via Timed Game Automata. Acta Informatica 53 (6-8) (2016)
Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri
The xSAP Safety Analysis Platform. TACAS (2016)
Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri
The xSAP Safety Analysis Platform. CoRR (2015)
Alessandro Cimatti, Andrea Micheli, Marco Roveri
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty. Artif. Intell. 224 (2015)
Andrea Micheli, Minh Do, David E. Smith
Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations. IJCAI (2015)
Alessandro Cimatti, Andrea Micheli, Marco Roveri
Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach. AAAI (2015)
Alessandro Cimatti, Andrea Micheli, Marco Roveri
Solving strong controllability of temporal problems with uncertainty using SMT. Constraints An Int. J. 20 (1) (2015)
Marco Bozzano, Alessandro Cimatti, Marco Gario, Andrea Micheli
SMT-Based Validation of Timed Failure Propagation Graphs. AAAI (2015)
Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Roberto Posenato, Marco Roveri
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation. TIME (2014)
Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Marco Roveri
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty. AAAI (2014)
Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta
The nuXmv Symbolic Model Checker. CAV (2014)
Alessandro Cimatti, Andrea Micheli, Marco Roveri
Timelines with Temporal Uncertainty. AAAI (2013)
Alessandro Cimatti, Andrea Micheli, Marco Roveri
Solving Temporal Problems Using SMT: Weak Controllability. AAAI (2012)
Alessandro Cimatti, Andrea Micheli, Marco Roveri
Solving Temporal Problems Using SMT: Strong Controllability. CP (2012)
Roberto Cavada, Alessandro Cimatti, Andrea Micheli, Marco Roveri, Angelo Susi, Stefano Tonetta
OthelloPlay: a plug-in based tool for requirement formalization and validation. TOPI@ICSE (2011)
Alessandro Cimatti, Alberto Griggio, Andrea Micheli, Iman Narasamdya, Marco Roveri
Kratos - A Software Model Checker for SystemC. CAV (2011)
Alessandro Cimatti, Andrea Micheli, Iman Narasamdya, Marco Roveri
Verifying SystemC: A software model checking approach. FMCAD (2010)
Roberto Cavada, Alessandro Cimatti, Alessandro Mariotti, Cristian Mattarei, Andrea Micheli, Sergio Mover, Marco Pensallorto, Marco Roveri, Angelo Susi, Stefano Tonetta
Supporting Requirements Validation: The EuRailCheck Tool. ASE (2009)

Andrea Micheli.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Andrea Micheli