Algorithms for Omega-Regular Games with Imperfect Information

DOI10.1007/11874683_19zbMATH Open1225.91012OpenAlexW2106923343WikidataQ59446798 ScholiaQ59446798MaRDI QIDQ3613344FDOQ3613344

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

Recommendations

• Algorithms for Omega-Regular Games with Imperfect Information
• scientific article
• 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

Mathematics Subject Classification ID

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

Cited In (26)

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

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)