Assume-Admissible Synthesis

DOI10.4230/LIPIcs.CONCUR.2015.100zbMath1374.68322OpenAlexW2497572843MaRDI QIDQ5357697

Romain Brenguier, Ocan Sankur, Jean-François Raskin

Publication date: 12 September 2017

Full work available at URL: https://hal.science/hal-01245193

zbMATH Keywords

controller synthesisadmissibilitymulti-player games

Mathematics Subject Classification ID

Applications of game theory (91A80) (n)-person games, (n>2) (91A06) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (7)

Synthesis with rational environments ⋮ Dynamic hierarchical reactive controller synthesis ⋮ Unnamed Item ⋮ On the existence of weak subgame perfect equilibria ⋮ Assume-admissible synthesis ⋮ Constrained existence problem for weak subgame perfect equilibria with \(\omega \)-regular Boolean objectives ⋮ Unnamed Item

This page was built for publication: Assume-Admissible Synthesis