Andrea Micheli

Head of Unit

Andrea Micheli
E-mailamicheli@fbk.eu
Website
Phone+39 0461 314 138
Google ScholarCitations
DBLPProfile

Publications

  1. Micheli Andrea, Against the Clock: Lessons Learned by Applying Temporal Planning in Practice
  2. Micheli Andrea; Bit-Monnot Arthur; Röger Gabriele; Scala Enrico; Valentini Alessandro; Framba Luca; Rovetta Alberto; Trapasso Alessandro; Bonassi Luigi; Gerevini Alfonso Emilio; Iocchi Luca; Ingrand Felix; Köckemann Uwe; Patrizi Fabio; Saetti Alessandro; Serina Ivan; Stock Sebastian, Unified Planning: Modeling, manipulating and solving AI planning problems in Python
  3. 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
  4. Panjkovic Stefan; Micheli Andrea, Abstract Action Scheduling for Optimal Temporal Planning via OMT
  5. Tosello Elisa; Valentini Alessandro; Micheli Andrea, A Meta-Engine Framework for Interleaved Task and Motion Planning using Topological Refinements
  6. Sumic Ajdin; Cimatti Alessandro; Micheli Andrea; Vidal Thierry, SMT-Based Repair of Disjunctive Temporal Networks with Uncertainty: Strong and Weak Controllability
  7. Sumic Ajdin; Vidal Thierry; Micheli Andrea; Cimatti Alessandro, Introducing Interdependent Simple Temporal Networks with Uncertainty for Multi-Agent Temporal Planning
  8. Shukla Vandita; Morelli Luca; Remondino Fabio; Micheli Andrea; Tuia Devis; Risse Benjamin, Towards Estimation of 3D Poses and Shapes of Animals from Oblique Drone Imagery
  9. Panjkovic Stefan; Micheli Andrea, Expressive Optimal Temporal Planning via Optimization Modulo Theory
  10. 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
  11. Gigante Nicola; Micheli Andrea; Montanari Angelo; Scala Enrico, Decidability and Complexity of Action-Based Temporal Planning over Dense Time
  12. Panjkovic Stefan; Micheli Andrea; Cimatti Alessandro, Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping
  13. Gigante Nicola; Micheli Andrea; Scala Enrico, On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning
  14. Syifa'ul Mufid Muhammad; Micheli Andrea; Abate Alessandro; Cimatti Alessandro, SMT-Based Model Checking of Max-Plus Linear Systems
  15. Cashmore Michael; Cimatti Alessandro; Magazzeni Daniele; Micheli Andrea; Zehtabi Parisa, Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans
  16. Ribeiro Tomás; Lima Oscar; Cashmore Michael; Micheli Andrea; Ventura Rodrigo, Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans
  17. Micheli Andrea; Valentini Alessandro, Synthesis of Search Heuristics for Temporal Planning via Reinforcement Learning
  18. Shehaj Leone Bernald Benedetto; Bozzoli Alessandro; Mulloni Viviana; Lorenzelli Leandro; Micheli Andrea, Sistema robotico olfattivo
  19. Valentini Alessandro; Micheli Andrea; Cimatti Alessandro, Temporal Planning with Intermediate Conditions and Effects
  20. Gigante Nicola; Micheli Andrea; Montanari Angelo; Scala Enrico, Decidability and Complexity of Action-Based Temporal Planning over Dense Time
  21. Abate Alessandro; Cimatti Alessandro; Micheli Andrea; Mufid Muhammad Syifa’ul, Computation of the Transient in Max-Plus Linear Systems via SMT-Solving
  22. Micheli Andrea; Scala Enrico, Temporal Planning with Temporal Metric Trajectory Constraints
  23. Cashmore Michael; Cimatti Alessandro; Magazzeni Daniele; Micheli Andrea; Zehtabi Parisa, Robustness Envelopes for Temporal Plans
  24. Cimatti Alessandro; Do Minh; Micheli Andrea; Roveri Marco; Smith David E., Strong temporal planning with uncontrollable durations
  25. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic
  26. Micheli Andrea, Disjunctive temporal networks with uncertainty via SMT: Recent results and directions
  27. 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
  28. Cimatti Alessandro; Hunsberger Luke; Micheli Andrea; Posenato Roberto; Roveri Marco, Dynamic controllability via Timed Game Automata
  29. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies
  30. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Solving strong controllability of temporal problems with uncertainty using SMT
  31. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach
  32. Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Micheli Andrea, SMT-based Validation of Timed Failure Propagation Graphs
  33. Cimatti Alessandro; Micheli Andrea; Roveri Marco, An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty
  34. Micheli Andrea; Do Minh; Smith David, Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations
  35. Gario Marco Elio Gustavo; Micheli Andrea, PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms
  36. Cavada Roberto; Cimatti Alessandro; Dorigatti Michele; Griggio Alberto; Mariotti Alessandro; Micheli Andrea; Mover Sergio; Roveri Marco; Tonetta Stefano, The nuXmv Symbolic Model Checker
  37. Cimatti Alessandro; Hunsberger L.; Micheli Andrea; Roveri Marco, Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty
  38. 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
  39. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Timelines with Temporal Uncertainty
  40. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Solving Temporal Problems using SMT: Weak Controllability
  41. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Solving Temporal Problems using SMT: Strong Controllability
  42. Cavada Roberto; Cimatti Alessandro; Micheli Andrea; Roveri Marco; Susi Angelo; Tonetta Stefano, OthelloPlay: a plug-in based tool for requirement formalization and validation
  43. Cimatti Alessandro; Griggio Alberto; Micheli Andrea; Iman Narasamdya; Roveri Marco, Kratos - A Software Model Checker for SystemC
  44. Cimatti Alessandro; Micheli Andrea; Narasamdya Iman; Roveri Marco, Verifying SystemC: a Software Model Checking Approach
  45. Roveri Marco; Cimatti Alessandro; Narasamdya Iman; Micheli Andrea; Daniele Campana; Griggio Alberto; Tchaltsev Andrei, KRATOS
  46. 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
  47. 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