Andrea Micheli
11 papers · 2015–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
π Conference Polyglot Β· Bronze π Interdisciplinary Bridge Β· Silver πΊοΈ Taxonomy Completionist (17) π Academic Marathon Β· Half π Keyword Champion (10)
ποΈ
Keyword Collector
(52)
π₯
Unstoppable Β· Bronze
π
Conference Pioneer
π
Renaissance Researcher
(6)
π
Century Club Β· Bronze
Top co-authors
Research topics
Artificial Intelligence
(9)
Core AI
(9)
Knowledge & Reasoning
(6)
Reasoning
(6)
Mathematics & Optimization
(5)
Optimization
(5)
Machine Learning
(3)
Optimization & Theory
(3)
Computer Science
(2)
Foundations
(2)
Reinforcement Learning
(1)
Robotics
(1)
Capabilities
(1)
Learning Paradigms
(1)
Methods
(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
Decidability and Complexity of Action-Based Temporal Planning over Dense Time
AAAI 2020
Temporal Planning with Intermediate Conditions and Effects
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