Bouyer P, Cassez F, Fleury E, Larsen KG. Optimal Strategies in Priced Timed Game Automata. BRICS [Internet]. 2004 Feb. 11 [cited 2024 Nov. 24];11(4). Available from: https://tidsskrift.dk/brics/article/view/21829