Perspective games
From MaRDI portal
Publication:6493416
DOI10.1145/3627705WikidataQ130880067 ScholiaQ130880067MaRDI QIDQ6493416
Publication date: 26 April 2024
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The complexity of two-player games of incomplete information
- Stability analysis of switched systems using variational principles: An introduction
- Strategy logic
- Automata-theoretic techniques for modal logics of programs
- Recognizing safety and liveness
- The directed subgraph homeomorphism problem
- Number of quantifiers is better than number of tape cells
- Borel determinacy
- Reasoning about infinite computations
- Switching in systems and control
- Imperfect information in reactive modules games
- Modalities for model checking: Branching time logic strikes back
- Strategy construction for parity games with imperfect information
- Action and knowledge in alternating-time temporal logic
- Alternating-time temporal logic
- Randomness for Free
- Asynchronous Omega-Regular Games with Partial Information
- The complexity of propositional linear temporal logics
- On ω-regular sets
- Two-Way Tree Automata Solving Pushdown Games
- Formal-Language-Constrained Path Problems
- On the synthesis of strategies in infinite games
- The Complexity of Partial-Observation Parity Games
- Deciding parity games in quasipolynomial time
- Rational Synthesis Under Imperfect Information
- Tools and Algorithms for the Construction and Analysis of Systems
- Algorithms for Omega-Regular Games with Imperfect Information
- On Decision Problems for Probabilistic Büchi Automata
- Computer Aided Verification
This page was built for publication: Perspective games