Bouyer, Patricia, Franck Cassez, Emmanuel Fleury, and Kim G. Larsen. “Optimal Strategies in Priced Timed Game Automata”. BRICS Report Series 11, no. 4 (February 11, 2004). Accessed March 29, 2024. https://tidsskrift.dk/brics/article/view/21829.