"Computing Equilibria in Two-Player Timed Games via Turn-Based ..."

Patricia Bouyer, Romain Brenguier, Nicolas Markey (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics