scientific article
From MaRDI portal
Publication:3165948
DOI10.4230/LIPIcs.FSTTCS.2008.1742zbMath1248.68233MaRDI QIDQ3165948
Laurent Doyen, Dietmar Berwanger
Publication date: 19 October 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_11ff.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) 2-person games (91A05) Formal languages and automata (68Q45) Logic in computer science (03B70)
Related Items
Accurate approximate diagnosis of (controllable) stochastic systems, Hierarchical information and the synthesis of distributed strategies, Optimal constructions for active diagnosis, Mean-payoff games with partial observation, Strategy construction for parity games with imperfect information, Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems, Synthesis from component libraries with costs, A survey of partial-observation stochastic parity games, Doomsday equilibria for omega-regular games, Partial-Observation Stochastic Games, A Compositional Framework for Controller Synthesis, Games with Opacity Condition, Unnamed Item, A game theoretic model of the behavioural gaming that takes place at the EMS-ED interface, Uniform strategies, rational relations and jumping automata, Compositional construction of most general controllers