Title :
A landscape with games in the background
Author :
Walukiewicz, Igor
Author_Institution :
Bordeaux I Univ., Talence, France
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;
Conference_Titel :
Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE Symposium on
Print_ISBN :
0-7695-2192-4
DOI :
10.1109/LICS.2004.1319630
