DocumentCode
3261006
Title
A landscape with games in the background
Author
Walukiewicz, Igor
Author_Institution
Bordeaux I Univ., Talence, France
fYear
2004
fDate
13-17 July 2004
Firstpage
356
Lastpage
366
Abstract
An overview of applications of two player path-forming games to verification and synthesis is given. Several extensions of the standard model of finite games with regular winning conditions are discussed. One direction is that of considering non-regular winning conditions. The other concerns the ways games are played, in particular probabilistic and multi-player games.
Keywords
game theory; program verification; finite games; multiplayer games; path-forming games; probabilistic games; synthesis problems; verification problems; winning conditions; Automata; Computer science; Cost accounting; Game theory; Probabilistic logic; Proposals; Robustness; Stress;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE Symposium on
ISSN
1043-6871
Print_ISBN
0-7695-2192-4
Type
conf
DOI
10.1109/LICS.2004.1319630
Filename
1319630
Link To Document