Bogomolov, Sergiy, Daniele Magazzeni, Stefano Minopoli, and Martin Wehrle. 2015. “PDDL+ Planning With Hybrid Automata: Foundations of Translating Must Behavior”. Proceedings of the International Conference on Automated Planning and Scheduling 25 (1):42-46. https://doi.org/10.1609/icaps.v25i1.13717.