Loading...
research article
A survey of stochastic omega-regular games
We summarize classical and recent results about two-player games played on graphs with omega-regular objectives. These games have applications in the verification and synthesis of reactive systems. Important distinctions are whether a graph game is turn-based or concurrent; deterministic or stochastic; zero-sum or not. We cluster known results and open problems according to these classifications. (C) 2011 Elsevier Inc. All rights reserved.
Type
research article
Web of Science ID
WOS:000299719100002
Authors
Publication date
2012
Published in
Volume
78
Start page
394
End page
413
Peer reviewed
REVIEWED
EPFL units
Available on Infoscience
March 1, 2012
Use this identifier to reference this record