Non-Zero Sum Games for Reactive Synthesis
Logic in Computer Science
2016-08-06 v1 Formal Languages and Automata Theory
Computer Science and Game Theory
Abstract
In this invited contribution, we summarize new solution concepts useful for the synthesis of reactive systems that we have introduced in several recent publications. These solution concepts are developed in the context of non-zero sum games played on graphs. They are part of the contributions obtained in the inVEST project funded by the European Research Council.
Cite
@article{arxiv.1512.05568,
title = {Non-Zero Sum Games for Reactive Synthesis},
author = {Romain Brenguier and Lorenzo Clemente and Paul Hunter and Guillermo A. Pérez and Mickael Randour and Jean-François Raskin and Ocan Sankur and Mathieu Sassolas},
journal= {arXiv preprint arXiv:1512.05568},
year = {2016}
}
Comments
LATA'16 invited paper