Subgame Perfection for Equilibria in Quantitative Reachability Games.
Thomas Brihaye, Vronique Bruyre, Julie De Pril, Hugo Gimbert
Browse the full FOSSACS paper archive.
Thomas Brihaye, Vronique Bruyre, Julie De Pril, Hugo Gimbert
Browse the full FOSSACS paper archive.