Nash Equilibria for Reachability Objectives in Multi-player Timed Games.

Patricia Bouyer, Romain Brenguier, Nicolas Markey

Browse the full CONCUR paper archive.