Panjkovic, S., & Micheli, A. (2023). Expressive Optimal Temporal Planning via Optimization Modulo Theory. Proceedings of the AAAI Conference on Artificial Intelligence, 37(10), 12095-12102. https://doi.org/10.1609/aaai.v37i10.26426