Perspective games with notifications

DOI10.4230/LIPICS.FSTTCS.2020.51MaRDI QIDQ6839851zbMATH OpenFDO

Authors Orna Kupferman, Noam Shenwald

Publication date 23 March 2026

Copyright license Creative Commons Attribution 3.0 Unported

Full work available at URL https://doi.org/10.4230/LIPICS.FSTTCS.2020.51

zbMATH Keywords

automatagamesincomplete information

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)

Cites work

• Algorithms for Omega-Regular Games with Imperfect Information
• Alternating-time temporal logic
• Asynchronous -regular games with partial information
• Borel determinacy
• Graph Games and Reactive Synthesis
• scientific article; zbMATH DE number 1444727 (Why is no real title available?)
• Perspective games
• Reasoning about infinite computations
• Stability analysis of switched systems using variational principles: An introduction
• Strategy construction for parity games with imperfect information
• Switching in systems and control
• The complexity of partial-observation parity games
• The complexity of two-player games of incomplete information

This page was built for publication: Perspective games with notifications

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