Subgame Perfection for Equilibria in Quantitative Reachability Games
From MaRDI portal
Publication:2892777
DOI10.1007/978-3-642-28729-9_19zbMath1352.68146arXiv1205.6346MaRDI QIDQ2892777
Véronique Bruyère, Hugo Gimbert, Thomas Brihaye, Julie De Pril
Publication date: 22 June 2012
Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1205.6346
91A43: Games involving graphs
91A80: Applications of game theory
68Q60: Specification and verification (program logics, model checking, etc.)