Non-Zero Sum Games for Reactive Synthesis
Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. P\'erez,, Mickael Randour, Jean-Fran\c{c}ois Raskin, Ocan Sankur, Mathieu Sassolas
TL;DR
This paper reviews new solution concepts for reactive system synthesis based on non-zero sum games on graphs, highlighting recent developments and their significance within the inVEST project.
Contribution
It introduces novel solution concepts for non-zero sum games in reactive synthesis, advancing the theoretical framework for designing reactive systems.
Findings
Development of new solution concepts for non-zero sum games
Application of these concepts to reactive system synthesis
Contribution to the inVEST project and European research initiatives
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsGame Theory and Applications · Complex Network Analysis Techniques · Gene Regulatory Network Analysis