Micheli, Andrea
Micheli, Andrea
PSO
A Meta-Engine Framework for Interleaved Task and Motion Planning using Topological Refinements
2024-01-01 Tosello, Elisa; Valentini, Alessandro; Micheli, Andrea
Abstract Action Scheduling for Optimal Temporal Planning via OMT
2024-01-01 Panjkovic, Stefan; Micheli, Andrea
Against the Clock: Lessons Learned by Applying Temporal Planning in Practice
2025-01-01 Micheli, Andrea
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty
2015-01-01 Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco
Automatic Selection of Macro-Events for Heuristic-Search Temporal Planning
2025-01-01 La Farciola, Alessandro; Valentini, Alessandro; Micheli, Andrea
Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations
2015-01-01 Micheli, Andrea; Do, Minh; Smith, David
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving
2020-01-01 Abate, Alessandro; Cimatti, Alessandro; Micheli, Andrea; Mufid, Muhammad Syifa’ul
Counterfactual Scenarios for Automated Planning
2025-01-01 Gigante, Nicola; Leofante, Francesco; Micheli, Andrea
Decidability and Complexity of Action-Based Temporal Planning over Dense Time
2020-01-01 Gigante, Nicola; Micheli, Andrea; Montanari, Angelo; Scala, Enrico
Decidability and Complexity of Action-Based Temporal Planning over Dense Time
2022-01-01 Gigante, Nicola; Micheli, Andrea; Montanari, Angelo; Scala, Enrico
Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping
2022-01-01 Panjkovic, Stefan; Micheli, Andrea; Cimatti, Alessandro
Disjunctive temporal networks with uncertainty via SMT: Recent results and directions
2017-01-01 Micheli, Andrea
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies
2016-01-01 Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco
Dynamic controllability via Timed Game Automata
2016-01-01 Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans
2021-01-01 Cashmore, Michael; Cimatti, Alessandro; Magazzeni, Daniele; Micheli, Andrea; Zehtabi, Parisa
Exploiting Symbolic Heuristics for the Synthesis of Domain-Specific Temporal Planning Guidance Using Reinforcement Learning
2025-01-01 Brugnara, Irene; Valentini, Alessandro; Micheli, Andrea
Expressive Optimal Temporal Planning via Optimization Modulo Theory
2023-01-01 Panjkovic, Stefan; Micheli, Andrea
Generalizing Platform-Aware Mission Planning for Infinite-State Timed Transition Systems
2025-01-01 Panjkovic, Stefan; Cimatti, Alessandro; Micheli, Andrea; Tonetta, Stefano
Introducing Interdependent Simple Temporal Networks with Uncertainty for Multi-Agent Temporal Planning
2024-01-01 Sumic, Ajdin; Vidal, Thierry; Micheli, Andrea; Cimatti, Alessandro
KRATOS
2010-01-01 Roveri, Marco; Cimatti, Alessandro; Narasamdya, Iman; Micheli, Andrea; Daniele, Campana; Griggio, Alberto; Tchaltsev, Andrei