Micheli, Andrea

18 publications

AAAI 2025 Automatic Selection of Macro-Events for Heuristic-Search Temporal Planning Alessandro La Farciola, Alessandro Valentini, Andrea Micheli

AAAI 2025 Temporal Task and Motion Planning with Metric Time for Multiple Object Navigation Elisa Tosello, Alessandro Valentini, Andrea Micheli

AAAI 2024 Abstract Action Scheduling for Optimal Temporal Planning via OMT Stefan Panjkovic, Andrea Micheli

AAAI 2023 Expressive Optimal Temporal Planning via Optimization Modulo Theory Stefan Panjkovic, Andrea Micheli

AAAI 2022 Deciding Unsolvability in Temporal Planning Under Action Non-Self-Overlapping Stefan Panjkovic, Andrea Micheli, Alessandro Cimatti

AAAI 2021 Synthesis of Search Heuristics for Temporal Planning via Reinforcement Learning Andrea Micheli, Alessandro Valentini

AAAI 2020 Decidability and Complexity of Action-Based Temporal Planning over Dense Time Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala

AAAI 2020 Temporal Planning with Intermediate Conditions and Effects Alessandro Valentini, Andrea Micheli, Alessandro Cimatti

AAAI 2019 Robustness Envelopes for Temporal Plans Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi

AAAI 2019 Temporal Planning with Temporal Metric Trajectory Constraints Andrea Micheli, Enrico Scala

AAAI 2017 Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic Alessandro Cimatti, Andrea Micheli, Marco Roveri

AAAI 2016 Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies Alessandro Cimatti, Andrea Micheli, Marco Roveri

IJCAI 2015 Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations Andrea Micheli, Minh Do, David E. Smith

AAAI 2015 SMT-Based Validation of Timed Failure Propagation Graphs Marco Bozzano, Alessandro Cimatti, Marco Gario, Andrea Micheli

AAAI 2015 Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach Alessandro Cimatti, Andrea Micheli, Marco Roveri

AAAI 2014 Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Marco Roveri

AAAI 2013 Timelines with Temporal Uncertainty Alessandro Cimatti, Andrea Micheli, Marco Roveri

AAAI 2012 Solving Temporal Problems Using SMT: Weak Controllability Alessandro Cimatti, Andrea Micheli, Marco Roveri