Categories
recording

PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior