Guelev, Dimitar P. Refining strategic ability in alternating-time temporal logic. (English) Zbl 1370.68204 Inf. Comput. 254, Part 2, 316-328 (2017). MSC: 68Q60 03B44 PDF BibTeX XML Cite \textit{D. P. Guelev}, Inf. Comput. 254, Part 2, 316--328 (2017; Zbl 1370.68204) Full Text: DOI
Chatterjee, Krishnendu; Doyen, Laurent; Filiot, Emmanuel; Raskin, Jean-François Doomsday equilibria for omega-regular games. (English) Zbl 1370.68164 Inf. Comput. 254, Part 2, 296-315 (2017). MSC: 68Q45 91A43 PDF BibTeX XML Cite \textit{K. Chatterjee} et al., Inf. Comput. 254, Part 2, 296--315 (2017; Zbl 1370.68164) Full Text: DOI
Bruyère, Véronique; Filiot, Emmanuel; Randour, Mickael; Raskin, Jean-François Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games. (English) Zbl 1371.91022 Inf. Comput. 254, Part 2, 259-295 (2017). MSC: 91A43 91A05 90C40 PDF BibTeX XML Cite \textit{V. Bruyère} et al., Inf. Comput. 254, Part 2, 259--295 (2017; Zbl 1371.91022) Full Text: DOI
Bouyer, Patricia; Markey, Nicolas; Vester, Steen Nash equilibria in symmetric graph games with partial observation. (English) Zbl 1371.91021 Inf. Comput. 254, Part 2, 238-258 (2017). MSC: 91A43 91A06 91A10 PDF BibTeX XML Cite \textit{P. Bouyer} et al., Inf. Comput. 254, Part 2, 238--258 (2017; Zbl 1371.91021) Full Text: DOI
Berwanger, Dietmar; Mathew, Anup Basil Infinite games with finite knowledge gaps. (English) Zbl 1371.91020 Inf. Comput. 254, Part 2, 217-237 (2017). MSC: 91A43 05C57 68Q45 PDF BibTeX XML Cite \textit{D. Berwanger} and \textit{A. B. Mathew}, Inf. Comput. 254, Part 2, 217--237 (2017; Zbl 1371.91020) Full Text: DOI
Aminof, Benjamin; Rubin, Sasha First-cycle games. (English) Zbl 1371.91019 Inf. Comput. 254, Part 2, 195-216 (2017). MSC: 91A43 05C57 68Q25 68R10 PDF BibTeX XML Cite \textit{B. Aminof} and \textit{S. Rubin}, Inf. Comput. 254, Part 2, 195--216 (2017; Zbl 1371.91019) Full Text: DOI
Ezekiel, J.; Lomuscio, A. Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems. (English) Zbl 1370.68201 Inf. Comput. 254, Part 2, 167-194 (2017). MSC: 68Q60 68M12 68M15 68T42 PDF BibTeX XML Cite \textit{J. Ezekiel} and \textit{A. Lomuscio}, Inf. Comput. 254, Part 2, 167--194 (2017; Zbl 1370.68201) Full Text: DOI
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan; Velner, Yaron Quantitative fair simulation games. (English) Zbl 1370.68165 Inf. Comput. 254, Part 2, 143-166 (2017). MSC: 68Q45 68Q25 91A80 PDF BibTeX XML Cite \textit{K. Chatterjee} et al., Inf. Comput. 254, Part 2, 143--166 (2017; Zbl 1370.68165) Full Text: DOI
Mogavero, Fabio (ed.); Murano, Aniello (ed.); Vardi, Moshe Y. (ed.) Preface to the special issue on SR 2014. (English) Zbl 1364.00047 Inf. Comput. 254, Part 2, 141-142 (2017). MSC: 00B25 68-06 91-06 68Q45 68Q60 91A43 91A80 PDF BibTeX XML Cite \textit{F. Mogavero} (ed.) et al., Inf. Comput. 254, Part 2, 141--142 (2017; Zbl 1364.00047) Full Text: DOI