DOI,IST REx ID,Research Group,Title of publication
null,1670,ToHe,PDDL+ planning with hybrid automata: Foundations of translating must behavior