Tollund RG, Johansen NS, Nielsen K Ø., Torralba Álvaro, Larsen KG. Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata. ICAPS [Internet]. 2024May30 [cited 2024Sep.12];34(1):588-96. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/31521