Andrea Micheli

Head of Unit

Andrea Micheli
E-mail
Website
Phone+39 0461 314 138
Google ScholarCitations
DBLPProfile

Publications

  1. Tosello Elisa; Bonel Paolo; Buranello Alberto; Carraro Marco; Cimatti Alessandro; Granelli Lorenzo; Panjkovic Stefan; Micheli Andrea, Opportunistic (Re)planning for Long-Term Deep-Ocean Inspection: An Autonomous Underwater Architecture
  2. Panjkovic Stefan; Micheli Andrea, Abstract Action Scheduling for Optimal Temporal Planning via OMT
  3. Tosello Elisa; Valentini Alessandro; Micheli Andrea, A Meta-Engine Framework for Interleaved Task and Motion Planning using Topological Refinements
  4. Panjkovic Stefan; Micheli Andrea, Expressive Optimal Temporal Planning via Optimization Modulo Theory
  5. Bozzano Marco; Bussola Riccardo; Cristoforetti Marco; Goyal Srajan; Jonas Martin; Kapellos Konstantinos; Micheli Andrea; Soldà Davide; Tonetta Stefano; Tranoris Christos; Valentini Alessandro, RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets
  6. Gigante Nicola; Micheli Andrea; Montanari Angelo; Scala Enrico, Decidability and Complexity of Action-Based Temporal Planning over Dense Time
  7. Panjkovic Stefan; Micheli Andrea; Cimatti Alessandro, Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping
  8. Gigante Nicola; Micheli Andrea; Scala Enrico, On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning
  9. Syifa'ul Mufid Muhammad; Micheli Andrea; Abate Alessandro; Cimatti Alessandro, SMT-Based Model Checking of Max-Plus Linear Systems
  10. Cashmore Michael; Cimatti Alessandro; Magazzeni Daniele; Micheli Andrea; Zehtabi Parisa, Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans
  11. Ribeiro Tomás; Lima Oscar; Cashmore Michael; Micheli Andrea; Ventura Rodrigo, Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans
  12. Micheli Andrea; Valentini Alessandro, Synthesis of Search Heuristics for Temporal Planning via Reinforcement Learning
  13. Shehaj Leone Bernald Benedetto; Bozzoli Alessandro; Mulloni Viviana; Lorenzelli Leandro; Micheli Andrea, Sistema robotico olfattivo
  14. Valentini Alessandro; Micheli Andrea; Cimatti Alessandro, Temporal Planning with Intermediate Conditions and Effects
  15. Gigante Nicola; Micheli Andrea; Montanari Angelo; Scala Enrico, Decidability and Complexity of Action-Based Temporal Planning over Dense Time
  16. Abate Alessandro; Cimatti Alessandro; Micheli Andrea; Mufid Muhammad Syifa’ul, Computation of the Transient in Max-Plus Linear Systems via SMT-Solving
  17. Micheli Andrea; Scala Enrico, Temporal Planning with Temporal Metric Trajectory Constraints
  18. Cashmore Michael; Cimatti Alessandro; Magazzeni Daniele; Micheli Andrea; Zehtabi Parisa, Robustness Envelopes for Temporal Plans
  19. Cimatti Alessandro; Do Minh; Micheli Andrea; Roveri Marco; Smith David E., Strong temporal planning with uncontrollable durations
  20. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic
  21. Micheli Andrea, Disjunctive temporal networks with uncertainty via SMT: Recent results and directions
  22. Bittner Benjamin; Bozzano Marco; Cavada Roberto; Cimatti Alessandro; Gario Marco Elio Gustavo; Griggio Alberto; Mattarei Cristian; Micheli Andrea; Zampedri Gianni, The xSAP Safety Analysis Platform
  23. Cimatti Alessandro; Hunsberger Luke; Micheli Andrea; Posenato Roberto; Roveri Marco, Dynamic controllability via Timed Game Automata
  24. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies
  25. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Solving strong controllability of temporal problems with uncertainty using SMT
  26. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach
  27. Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Micheli Andrea, SMT-based Validation of Timed Failure Propagation Graphs
  28. Cimatti Alessandro; Micheli Andrea; Roveri Marco, An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty
  29. Micheli Andrea; Do Minh; Smith David, Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations
  30. Gario Marco Elio Gustavo; Micheli Andrea, PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms
  31. Cavada Roberto; Cimatti Alessandro; Dorigatti Michele; Griggio Alberto; Mariotti Alessandro; Micheli Andrea; Mover Sergio; Roveri Marco; Tonetta Stefano, The nuXmv Symbolic Model Checker
  32. Cimatti Alessandro; Hunsberger L.; Micheli Andrea; Roveri Marco, Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty
  33. Cimatti Alessandro; Hunsberger L.; Micheli Andrea; Posenato R; Roveri Marco, Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation
  34. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Timelines with Temporal Uncertainty
  35. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Solving Temporal Problems using SMT: Weak Controllability
  36. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Solving Temporal Problems using SMT: Strong Controllability
  37. Cavada Roberto; Cimatti Alessandro; Micheli Andrea; Roveri Marco; Susi Angelo; Tonetta Stefano, OthelloPlay: a plug-in based tool for requirement formalization and validation
  38. Cimatti Alessandro; Griggio Alberto; Micheli Andrea; Iman Narasamdya; Roveri Marco, Kratos - A Software Model Checker for SystemC
  39. Cimatti Alessandro; Micheli Andrea; Narasamdya Iman; Roveri Marco, Verifying SystemC: a Software Model Checking Approach
  40. Roveri Marco; Cimatti Alessandro; Narasamdya Iman; Micheli Andrea; Daniele Campana; Griggio Alberto; Tchaltsev Andrei, KRATOS
  41. Cavada Roberto; Cimatti Alessandro; Mariotti Alessandro; Mattarei Cristian; Micheli Andrea; Mover Sergio; Pensallorto Marco; Roveri Marco; Susi Angelo; Tonetta Stefano, Supporting Requirements Validation: The EuRailCheck Tool
  42. Roveri Marco; Cimatti Alessandro; Cavada Roberto; Tchaltsev Andrei; Micheli Andrea; Mariotti Alessandro; Mover Sergio; Marco Pensallorto; Armando Tacchella; Daniel Sheridan; Gavin Keighren; Tommi Junttila; Timo Latvala, NuSMV