Bogomolov, Sergiy, Daniele Magazzeni, Stefano Minopoli, and Martin Wehrle. “PDDL+ Planning With Hybrid Automata: Foundations of Translating Must Behavior”. Proceedings of the International Conference on Automated Planning and Scheduling 25, no. 1 (April 8, 2015): 42-46. Accessed August 27, 2024. https://ojs.aaai.org/index.php/ICAPS/article/view/13717.