Computer aided synthesis: a game theoretic approach
Computer Science and Game Theory
2017-06-05 v1
Abstract
In this invited contribution, we propose a comprehensive introduction to game theory applied in computer aided synthesis. In this context, we give some classical results on two-player zero-sum games and then on multi-player non zero-sum games. The simple case of one-player games is strongly related to automata theory on infinite words. All along the article, we focus on general approaches to solve the studied problems, and we provide several illustrative examples as well as intuitions on the proofs.
Keywords
Cite
@article{arxiv.1706.00652,
title = {Computer aided synthesis: a game theoretic approach},
author = {Véronique Bruyère},
journal= {arXiv preprint arXiv:1706.00652},
year = {2017}
}
Comments
Invitation contribution for conference "Developments in Language Theory" (DLT 2017)