Asynchronous -regular games with partial information

DOI10.1007/978-3-642-15155-2_52zbMATH Open1287.68111OpenAlexW2169649493MaRDI QIDQ3586115FDOQ3586115

Authors: Bernd Puchala 

Publication date: 3 September 2010

Published in: Mathematical Foundations of Computer Science 2010 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15155-2_52

Recommendations

• The complexity of partial-observation parity games
• Algorithms for Omega-Regular Games with Imperfect Information
• Algorithms for Omega-Regular Games with Imperfect Information
• scientific article; zbMATH DE number 5954369
• Solving partial-information stochastic parity games

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Games involving graphs (91A43) Temporal logic (03B44)

Cited In (5)

• Uniform strategies, rational relations and jumping automata
• Compositional construction of most general controllers
• Graph Games and Reactive Synthesis
• Relating paths in transition systems: the fall of the modal mu-calculus
• Perspective games

This page was built for publication: Asynchronous \(\omega\)-regular games with partial information

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