Algorithms for Omega-Regular Games with Imperfect Information
From MaRDI portal
Publication:5426070
DOI10.2168/LMCS-3(3:4)2007zbMath1125.91028MaRDI QIDQ5426070
Laurent Doyen, Krishnendu Chatterjee, Thomas A. Henzinger, Jean-François Raskin
Publication date: 15 November 2007
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
fixed-point algorithmBüchi objectivedeterministic observation-based strategyomega-regular objectivetwo-player turn-based games on graphs
2-person games (91A05) Games involving graphs (91A43) Synthesis problems (93B50) Specification and verification (program logics, model checking, etc.) (68Q60) Experimental studies (91A90)
Related Items
Enforcing almost-sure reachability in POMDPs, Mediator Synthesis in a Component Algebra with Data, Knowledge-based strategies for multi-agent teams playing against nature, Complexity of planning for connected agents in a partially known environment, BOCoSy: Small but Powerful Symbolic Output-Feedback Control, Randomness for free, Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications, Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation, Observation and distinction: representing information in infinite games, Unnamed Item, Antichains and compositional algorithms for LTL synthesis, Strategy construction for parity games with imperfect information, Fixed point guided abstraction refinement for alternating automata, Probabilistic opacity for Markov decision processes, Strategy Construction for Parity Games with Imperfect Information, Deadlock-free output feedback controller design based on approximately abstracted observers, Indecision and delays are the parents of failure -- taming them algorithmically by synthesizing delay-resilient control, Model checking properties on reduced trace systems, Further improvements of determinization methods for fuzzy finite automata, Synthesis from component libraries with costs, A survey of partial-observation stochastic parity games, Doomsday equilibria for omega-regular games, Partial-Observation Stochastic Games, Alternating-time stream logic for multi-agent systems, Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions, Approximate verification of strategic abilities under imperfect information, A Compositional Framework for Controller Synthesis, Fixpoint Guided Abstraction Refinement for Alternating Automata, POMDPs under probabilistic semantics, Qualitative analysis of concurrent mean-payoff games, Compositional construction of most general controllers
