Infinite Games and Verification (Extended Abstract of a Tutorial)

@inproceedings{Thomas2002InfiniteGA,
  title={Infinite Games and Verification (Extended Abstract of a Tutorial)},
  author={Wolfgang Thomas},
  booktitle={CAV},
  year={2002}
}
The purpose of this tutorial is to survey the essentials of the algorithmic theory of infinite games, its role in automatic program synthesis and verification, and some challenges of current research. 1 Background and Motivation The research on infinite games in theoretical computer science is based on a mixture of several motivations: 1. The beautiful classical theory of infinite games, as developed in descriptive set theory, lacks an algorithmic content. Such an algorithmic orientation is… CONTINUE READING

Similar Papers

Loading similar papers…