Andrea Micheli
11 papers · 2015–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+7 more ↓ Show less ↑
π Interdisciplinary Bridge π Conference Polyglot (2) π Academic Marathon (10) π Renaissance Researcher (7) πΊοΈ 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
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