Andrea Micheli

Head of Unit

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

Publications

  1. Cristoforetti Luca; Flori Alessandro; Fonda Tommaso; Kapellos Kostantinos; Micheli Andrea; Tonetta Stefano; Valentini Alessandro, A SysML v2 Based Modeling Language and Tool for Task Planning and Runtime Verification with Digital Twins
  2. Sumic Ajdin; Vidal Thierry; Micheli Andrea; Cimatti Alessandro, Multiple interdependent Simple Temporal Networks with Uncertainty: A semi-decentralized multi-agent model with shared control of activity durations
  3. Micheli Andrea, Against the Clock: Lessons Learned by Applying Temporal Planning in Practice
  4. 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
  5. La Farciola Alessandro; Valentini Alessandro; Micheli Andrea, Automatic Selection of Macro-Events for Heuristic-Search Temporal Planning
  6. Tosello Elisa; Valentini Alessandro; Micheli Andrea, Temporal Task and Motion Planning with Metric Time for Multiple Object Navigation
  7. La Farciola Alessandro; Valentini Alessandro; Micheli Andrea, Learning of Lifted Macro-Events for Heuristic-Search Temporal Planning
  8. Gigante Nicola; Leofante Francesco; Micheli Andrea, Counterfactual Scenarios for Automated Planning
  9. Panjkovic Stefan; Cimatti Alessandro; Micheli Andrea; Tonetta Stefano, Generalizing Platform-Aware Mission Planning for Infinite-State Timed Transition Systems
  10. Panjkovic Stefan; Cimatti Alessandro; Micheli Andrea; Tonetta Stefano, Platform-Aware Mission Planning
  11. Brugnara Irene; Valentini Alessandro; Micheli Andrea, Exploiting Symbolic Heuristics for the Synthesis of Domain-Specific Temporal Planning Guidance Using Reinforcement Learning
  12. Flori Alessandro; Fonda Tommaso; Gobbi Andrea; Gobbi Samuel; Kapellos Konstantinos; Micheli Andrea; Tonetta Stefano; Valentini Alessandro; Ntagiou Evridiki V., Planning and Scheduling with External Functions in the ExploDTwin project
  13. Cimatti Alessandro; Antonelli Fabio; Bentivogli Luisa; Cristoforetti Marco; Micheli Andrea; Poiesi Fabio; Remondino Fabio; Susi Angelo; Tonetta Stefano, {AI} for industry at {FBK}
  14. 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
  15. Panjkovic Stefan; Micheli Andrea, Abstract Action Scheduling for Optimal Temporal Planning via OMT
  16. Tosello Elisa; Valentini Alessandro; Micheli Andrea, A Meta-Engine Framework for Interleaved Task and Motion Planning using Topological Refinements
  17. Sumic Ajdin; Cimatti Alessandro; Micheli Andrea; Vidal Thierry, SMT-Based Repair of Disjunctive Temporal Networks with Uncertainty: Strong and Weak Controllability
  18. Sumic Ajdin; Vidal Thierry; Micheli Andrea; Cimatti Alessandro, Introducing Interdependent Simple Temporal Networks with Uncertainty for Multi-Agent Temporal Planning
  19. 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
  20. Panjkovic Stefan; Micheli Andrea, Expressive Optimal Temporal Planning via Optimization Modulo Theory
  21. 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
  22. Gigante Nicola; Micheli Andrea; Montanari Angelo; Scala Enrico, Decidability and Complexity of Action-Based Temporal Planning over Dense Time
  23. Panjkovic Stefan; Micheli Andrea; Cimatti Alessandro, Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping
  24. Gigante Nicola; Micheli Andrea; Scala Enrico, On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning
  25. Syifa'ul Mufid Muhammad; Micheli Andrea; Abate Alessandro; Cimatti Alessandro, SMT-Based Model Checking of Max-Plus Linear Systems
  26. Cashmore Michael; Cimatti Alessandro; Magazzeni Daniele; Micheli Andrea; Zehtabi Parisa, Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans
  27. Ribeiro Tomás; Lima Oscar; Cashmore Michael; Micheli Andrea; Ventura Rodrigo, Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans
  28. Micheli Andrea; Valentini Alessandro, Synthesis of Search Heuristics for Temporal Planning via Reinforcement Learning
  29. Shehaj Leone Bernald Benedetto; Bozzoli Alessandro; Mulloni Viviana; Lorenzelli Leandro; Micheli Andrea, Sistema robotico olfattivo
  30. Valentini Alessandro; Micheli Andrea; Cimatti Alessandro, Temporal Planning with Intermediate Conditions and Effects
  31. Gigante Nicola; Micheli Andrea; Montanari Angelo; Scala Enrico, Decidability and Complexity of Action-Based Temporal Planning over Dense Time
  32. Abate Alessandro; Cimatti Alessandro; Micheli Andrea; Mufid Muhammad Syifa’ul, Computation of the Transient in Max-Plus Linear Systems via SMT-Solving
  33. Micheli Andrea; Scala Enrico, Temporal Planning with Temporal Metric Trajectory Constraints
  34. Cashmore Michael; Cimatti Alessandro; Magazzeni Daniele; Micheli Andrea; Zehtabi Parisa, Robustness Envelopes for Temporal Plans
  35. Cimatti Alessandro; Do Minh; Micheli Andrea; Roveri Marco; Smith David E., Strong temporal planning with uncontrollable durations
  36. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic
  37. Micheli Andrea, Disjunctive temporal networks with uncertainty via SMT: Recent results and directions
  38. 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
  39. Cimatti Alessandro; Hunsberger Luke; Micheli Andrea; Posenato Roberto; Roveri Marco, Dynamic controllability via Timed Game Automata
  40. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies
  41. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Solving strong controllability of temporal problems with uncertainty using SMT
  42. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach
  43. Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Micheli Andrea, SMT-based Validation of Timed Failure Propagation Graphs
  44. Cimatti Alessandro; Micheli Andrea; Roveri Marco, An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty
  45. Micheli Andrea; Do Minh; Smith David, Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations
  46. Gario Marco Elio Gustavo; Micheli Andrea, PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms
  47. Cavada Roberto; Cimatti Alessandro; Dorigatti Michele; Griggio Alberto; Mariotti Alessandro; Micheli Andrea; Mover Sergio; Roveri Marco; Tonetta Stefano, The nuXmv Symbolic Model Checker
  48. Cimatti Alessandro; Hunsberger L.; Micheli Andrea; Roveri Marco, Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty
  49. 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
  50. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Timelines with Temporal Uncertainty
  51. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Solving Temporal Problems using SMT: Weak Controllability
  52. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Solving Temporal Problems using SMT: Strong Controllability
  53. Cavada Roberto; Cimatti Alessandro; Micheli Andrea; Roveri Marco; Susi Angelo; Tonetta Stefano, OthelloPlay: a plug-in based tool for requirement formalization and validation
  54. Cimatti Alessandro; Griggio Alberto; Micheli Andrea; Iman Narasamdya; Roveri Marco, Kratos - A Software Model Checker for SystemC
  55. Cimatti Alessandro; Micheli Andrea; Narasamdya Iman; Roveri Marco, Verifying SystemC: a Software Model Checking Approach
  56. Roveri Marco; Cimatti Alessandro; Narasamdya Iman; Micheli Andrea; Daniele Campana; Griggio Alberto; Tchaltsev Andrei, KRATOS
  57. 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
  58. 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