Andrea Micheli

11 papers · 2015–2025 · 2 conferences · across top CS/AI conferences

Achievements

🐝 Cross-Pollinator (13) 🏃 Academic Marathon (10) 🌈 Renaissance Researcher (7) 🌉 Interdisciplinary Bridge 🗺️ Taxonomy Completionist (17) 🧭 Keyword Pioneer 🌍 Conference Polyglot (2) 🏆 Keyword Champion (10) 💎 Century Club (11) 🚀 Conference Pioneer 🗃️ Keyword Collector (52) 🔥 Unstoppable (7)

Conferences

AAAI (10) IJCAI (1)

Top co-authors

Alessandro Valentini (4) Stefan Panjkovic (3) Alessandro Cimatti (3) Enrico Scala (2) Parisa Zehtabi (1) Daniele Magazzeni (1) Alessandro La Farciola (1) Minh Do (1) Elisa Tosello (1) Angelo Montanari (1)

Keywords

temporal planning (10) heuristic search (4) optimization modulo theory (2) action planning (2) makespan optimization (2) satisfiability modulo theory (2) action scheduling (2) action duration (2) optimal planning (2) temporal constraint (1) search space (1) deadline constraint (1) automated reasoning (1) model checking (1) multi-object navigation (1) computational complexity (1) symbolic representation (1) plan robustness (1) trajectory constraint (1) task and motion planning (1)

Papers

Automatic Selection of Macro-Events for Heuristic-Search Temporal Planning AAAI 2025

Temporal Task and Motion Planning with Metric Time for Multiple Object Navigation AAAI 2025

Abstract Action Scheduling for Optimal Temporal Planning via OMT AAAI 2024

Expressive Optimal Temporal Planning via Optimization Modulo Theory AAAI 2023

Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping AAAI 2022

Synthesis of Search Heuristics for Temporal Planning via Reinforcement Learning AAAI 2021

Temporal Planning with Intermediate Conditions and Effects AAAI 2020

Decidability and Complexity of Action-Based Temporal Planning over Dense Time AAAI 2020

Robustness Envelopes for Temporal Plans AAAI 2019

Temporal Planning with Temporal Metric Trajectory Constraints AAAI 2019

Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations IJCAI 2015