Batusov, Vitaliy, and Mikhail Soutchanski. 2021. “A Logical Semantics for PDDL+”. Proceedings of the International Conference on Automated Planning and Scheduling 29 (1):40-48. https://doi.org/10.1609/icaps.v29i1.3548.