Pril. Equilibria in quantitative reachability games (2010)

by T Brihaye, V Bruyère, J De
Venue:In CSR, volume 6072 of LNCS