FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
From MaRDI portal
Publication:5897755
DOI10.1007/11590156zbMath1172.68540MaRDI QIDQ5897755
Thomas A. Henzinger, Krishnendu Chatterjee
Publication date: 14 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11590156
91A43: Games involving graphs
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Solving zero-sum one-sided partially observable stochastic games, A survey of stochastic \(\omega \)-regular games, Randomness for free, Strategy logic, Compositional and symbolic synthesis of reactive controllers for multi-agent systems, Deciding Maxmin Reachability in Half-Blind Stochastic Games, Graph Games and Reactive Synthesis, Games with Opacity Condition