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. La Farciola Alessandro; Valentini Alessandro; Micheli Andrea, Automatic Selection of Macro-Events for Heuristic-Search Temporal Planning
  4. Tosello Elisa; Valentini Alessandro; Micheli Andrea, Temporal Task and Motion Planning with Metric Time for Multiple Object Navigation
  5. 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
  6. Panjkovic Stefan; Micheli Andrea, Abstract Action Scheduling for Optimal Temporal Planning via OMT
  7. Tosello Elisa; Valentini Alessandro; Micheli Andrea, A Meta-Engine Framework for Interleaved Task and Motion Planning using Topological Refinements
  8. Sumic Ajdin; Cimatti Alessandro; Micheli Andrea; Vidal Thierry, SMT-Based Repair of Disjunctive Temporal Networks with Uncertainty: Strong and Weak Controllability
  9. Sumic Ajdin; Vidal Thierry; Micheli Andrea; Cimatti Alessandro, Introducing Interdependent Simple Temporal Networks with Uncertainty for Multi-Agent Temporal Planning
  10. 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
  11. Panjkovic Stefan; Micheli Andrea, Expressive Optimal Temporal Planning via Optimization Modulo Theory
  12. 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
  13. Gigante Nicola; Micheli Andrea; Montanari Angelo; Scala Enrico, Decidability and Complexity of Action-Based Temporal Planning over Dense Time
  14. Panjkovic Stefan; Micheli Andrea; Cimatti Alessandro, Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping
  15. Gigante Nicola; Micheli Andrea; Scala Enrico, On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning
  16. Syifa'ul Mufid Muhammad; Micheli Andrea; Abate Alessandro; Cimatti Alessandro, SMT-Based Model Checking of Max-Plus Linear Systems
  17. Cashmore Michael; Cimatti Alessandro; Magazzeni Daniele; Micheli Andrea; Zehtabi Parisa, Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans
  18. Ribeiro Tomás; Lima Oscar; Cashmore Michael; Micheli Andrea; Ventura Rodrigo, Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans
  19. Micheli Andrea; Valentini Alessandro, Synthesis of Search Heuristics for Temporal Planning via Reinforcement Learning
  20. Shehaj Leone Bernald Benedetto; Bozzoli Alessandro; Mulloni Viviana; Lorenzelli Leandro; Micheli Andrea, Sistema robotico olfattivo
  21. Valentini Alessandro; Micheli Andrea; Cimatti Alessandro, Temporal Planning with Intermediate Conditions and Effects
  22. Gigante Nicola; Micheli Andrea; Montanari Angelo; Scala Enrico, Decidability and Complexity of Action-Based Temporal Planning over Dense Time
  23. Abate Alessandro; Cimatti Alessandro; Micheli Andrea; Mufid Muhammad Syifa’ul, Computation of the Transient in Max-Plus Linear Systems via SMT-Solving
  24. Micheli Andrea; Scala Enrico, Temporal Planning with Temporal Metric Trajectory Constraints
  25. Cashmore Michael; Cimatti Alessandro; Magazzeni Daniele; Micheli Andrea; Zehtabi Parisa, Robustness Envelopes for Temporal Plans
  26. Cimatti Alessandro; Do Minh; Micheli Andrea; Roveri Marco; Smith David E., Strong temporal planning with uncontrollable durations
  27. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic
  28. Micheli Andrea, Disjunctive temporal networks with uncertainty via SMT: Recent results and directions
  29. 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
  30. Cimatti Alessandro; Hunsberger Luke; Micheli Andrea; Posenato Roberto; Roveri Marco, Dynamic controllability via Timed Game Automata
  31. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies
  32. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Solving strong controllability of temporal problems with uncertainty using SMT
  33. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach
  34. Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Micheli Andrea, SMT-based Validation of Timed Failure Propagation Graphs
  35. Cimatti Alessandro; Micheli Andrea; Roveri Marco, An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty
  36. Micheli Andrea; Do Minh; Smith David, Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations
  37. Gario Marco Elio Gustavo; Micheli Andrea, PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms
  38. Cavada Roberto; Cimatti Alessandro; Dorigatti Michele; Griggio Alberto; Mariotti Alessandro; Micheli Andrea; Mover Sergio; Roveri Marco; Tonetta Stefano, The nuXmv Symbolic Model Checker
  39. Cimatti Alessandro; Hunsberger L.; Micheli Andrea; Roveri Marco, Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty
  40. 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
  41. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Timelines with Temporal Uncertainty
  42. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Solving Temporal Problems using SMT: Weak Controllability
  43. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Solving Temporal Problems using SMT: Strong Controllability
  44. Cavada Roberto; Cimatti Alessandro; Micheli Andrea; Roveri Marco; Susi Angelo; Tonetta Stefano, OthelloPlay: a plug-in based tool for requirement formalization and validation
  45. Cimatti Alessandro; Griggio Alberto; Micheli Andrea; Iman Narasamdya; Roveri Marco, Kratos - A Software Model Checker for SystemC
  46. Cimatti Alessandro; Micheli Andrea; Narasamdya Iman; Roveri Marco, Verifying SystemC: a Software Model Checking Approach
  47. Roveri Marco; Cimatti Alessandro; Narasamdya Iman; Micheli Andrea; Daniele Campana; Griggio Alberto; Tchaltsev Andrei, KRATOS
  48. 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
  49. 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