Obliging Games
From MaRDI portal
Publication:3584937
DOI10.1007/978-3-642-15375-4_20zbMath1287.68105OpenAlexW4205425069MaRDI QIDQ3584937
Florian Horn, Christof Löding, Krishnendu Chatterjee
Publication date: 31 August 2010
Published in: CONCUR 2010 - Concurrency Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-15375-4_20
2-person games (91A05) Games involving graphs (91A43) Applications of game theory (91A80) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
On the relation between reactive synthesis and supervisory control of non-terminating processes ⋮ Adaptive strategies for rLTL games
This page was built for publication: Obliging Games
