On Subgame Perfection in Quantitative Reachability Games

TitleOn Subgame Perfection in Quantitative Reachability Games
Publication TypeJournal Article
Year of Publication2012
AuthorsBrihaye, T, Bruyère V, De Pril J, Gimbert H
JournalLogical Methods in Computer Science
Volume9
URLhttp://dx.doi.org/10.2168/LMCS-9(1:7)2013
DOI10.2168/LMCS-9(1:7)2013