Verimag

Technical Reports

Sergiy Bogomolov, Daniele Magazzeni, Stefano Minopoli, Martin Wehrle
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.

Contact | Site Map | Site powered by SPIP 3.0.25 + AHUNTSIC [CC License]

info visites 802869