Perspective games
From MaRDI portal
Cites work
- Action and knowledge in alternating-time temporal logic
- Algorithms for Omega-Regular Games with Imperfect Information
- Alternating-time logic with imperfect recall
- Alternating-time temporal logic
- Asynchronous -regular games with partial information
- Automata-theoretic techniques for modal logics of programs
- Borel determinacy
- Computer Aided Verification
- Deciding parity games in quasipolynomial time
- Flow logic
- Formal-Language-Constrained Path Problems
- scientific article; zbMATH DE number 3930351 (Why is no real title available?)
- scientific article; zbMATH DE number 3543391 (Why is no real title available?)
- scientific article; zbMATH DE number 1444727 (Why is no real title available?)
- scientific article; zbMATH DE number 7297884 (Why is no real title available?)
- Imperfect information in reactive modules games
- Modalities for model checking: Branching time logic strikes back
- Number of quantifiers is better than number of tape cells
- On Decision Problems for Probabilistic Büchi Automata
- On the synthesis of strategies in infinite games
- On ω-regular sets
- Randomness for free
- Rational synthesis under imperfect information
- Reasoning about infinite computations
- Recognizing safety and liveness
- Stability analysis of switched systems using variational principles: An introduction
- Strategy construction for parity games with imperfect information
- Strategy logic
- Switching in systems and control
- The complexity of partial-observation parity games
- The complexity of propositional linear temporal logics
- The complexity of two-player games of incomplete information
- The directed subgraph homeomorphism problem
- Tools and Algorithms for the Construction and Analysis of Systems
- Two-Way Tree Automata Solving Pushdown Games
This page was built for publication: Perspective games
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6493416)
