Expressive Optimal Temporal Planning via Optimization Modulo Theory.

Stefan Panjkovic Andrea Micheli

Published in: AAAI (2023)

Keyphrases

temporal planning
temporal planner
dynamic programming
simple temporal
mutual exclusion
optimal solution
temporal constraints
plan generation
learning algorithm
state space
partial order
optimal control
constrained optimization