Tollund, R. G., Johansen, N. S., Nielsen, K. Ø., Torralba, Álvaro, & Larsen, K. G. (2024). Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata. Proceedings of the International Conference on Automated Planning and Scheduling, 34(1), 588-596. https://doi.org/10.1609/icaps.v34i1.31521