The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games.

Thomas Brihaye, Vronique Bruyre, Aline Goeminne, Jean-Franois Raskin, Marie van den Bogaard

Browse the full CONCUR paper archive.