Algorithms for Omega-Regular Games with Imperfect Information

DOI10.1007/11874683_19MaRDI QIDQ3613344zbMATH OpenOpenAlexWikidataFDO

Authors Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin

Publication date 12 March 2009

Published in Computer Science Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11874683_19

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) 2-person games (91A05) Games involving graphs (91A43) Applications of game theory (91A80)

Recommendations

• Algorithms for Omega-Regular Games with Imperfect Information
• scientific article; zbMATH DE number 5954369
• Partial-observation stochastic games, how to win when belief fails
• Partial-observation stochastic games: how to win when belief fails
• Strategy Construction for Parity Games with Imperfect Information

Cited in

(28)

• Looking at mean payoff through foggy windows
• Compositional and symbolic synthesis of reactive controllers for multi-agent systems
• Latticed-LTL synthesis in the presence of noisy inputs
• Strategy construction for parity games with imperfect information
• Uniform strategies, rational relations and jumping automata
• What is decidable about partially observable Markov decision processes with \(\omega\)-regular objectives
• scientific article; zbMATH DE number 5954369 (Why is no real title available?)
• Minimum Attention Controller Synthesis for Omega-Regular Objectives
• Graph Games and Reactive Synthesis
• The Effect of Tossing Coins in Omega-Automata
• Compositional Control Synthesis for Partially Observable Systems
• Timed Control with Observation Based and Stuttering Invariant Strategies
• Asynchronous -regular games with partial information
• Probabilistic Acceptors for Languages over Infinite Words
• Computing Weakest Strategies for Safety Games of Imperfect Information
• Model-checking games for logics of imperfect information
• A survey of stochastic -regular games
• Game-based Synthesis of Distributed Controllers for Sampled Switched Systems
• A general notion of uniform strategies
• Algorithms for Omega-Regular Games with Imperfect Information
• Hybrid Systems: Computation and Control
• Information tracking in games on graphs
• Efficient Algorithms for Omega-Regular Energy Games
• Synthesis with privacy against an observer
• Perspective games with notifications
• Synthesis with privacy against an observer
• CEGAR for compositional analysis of qualitative properties in Markov decision processes
• Strategy logic

This page was built for publication: Algorithms for Omega-Regular Games with Imperfect Information

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3613344)