Asynchronous -regular games with partial information

DOI10.1007/978-3-642-15155-2_52MaRDI QIDQ3586115zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

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)