2015/12/17 by Romain Brenguier, Lorenzo Clemente, Brenguier, Romain +13
Biochemistry, Genetics and Molecular Biology · Decision Sciences · Physics and Astronomy · #Complex Network Analysis Techniques #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Game Theory and Applications #Gene Regulatory Network Analysis #Logic in Computer Science (cs.LO)
paper · doi:10.48550/arxiv.1512.05568
openalex publication_date 2015/12/17 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.