Sergiy Bogomolov, Daniele Magazzeni, Stefano Minopoli, Martin Wehrle
PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior (2015)
PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior (2015)
TR-2015-3.pdf
Keywords:
Abstract: This technical report contains the proof of Theorem 1 of the paper 'PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior' (Bogomolov et al. 2015), using the same notation and terminology.
