Solving Games Without Determinization
From MaRDI portal
Recommendations
- Solving games dependence of applicable solving procedures
- Solving counter parity games
- scientific article; zbMATH DE number 3139280
- Solution for a class of repeated games without a recursive structure
- Solving Simple Stochastic Games
- Game Theory without Decision-Theoretic Paradoxes
- Solving possibilistic games with incomplete information
Cited in
(59)- From LTL to Symbolically Represented Deterministic Automata
- Ranking Automata and Games for Prioritized Requirements
- Discounted-sum automata with multiple discount factors
- History-deterministic Parikh automata
- History-deterministic vector addition systems
- From Muller to parity and Rabin qutomata: optimal transformations preserving (history) determinism
- Effective synthesis of asynchronous systems from GR(1) specifications
- On Determinisation of Good-for-Games Automata
- scientific article; zbMATH DE number 7577580 (Why is no real title available?)
- scientific article; zbMATH DE number 4049147 (Why is no real title available?)
- The Theory of Universal Graphs for Infinite Duration Games
- Quantifying Bounds in Strategy Logic
- Functional encryption for inner product with full function privacy
- Alternating good-for-MDPs automata
- Minimization of automata for liveness languages
- scientific article; zbMATH DE number 7649927 (Why is no real title available?)
- On the power of finite ambiguity in Büchi complementation
- Good-for-Game QPTL: An Alternating Hodges Semantics
- Coalgebraic satisfiability checking for arithmetic -calculi
- Non-zero sum games for reactive synthesis
- scientific article; zbMATH DE number 7471692 (Why is no real title available?)
- Symbolic bounded synthesis
- Good-for-MDPs automata for probabilistic analysis and reinforcement learning
- Synthesis of Reactive(1) designs
- Semantic labelling and learning for parity game solving in LTL synthesis
- Markov chains and unambiguous automata
- Discounted-sum automata with multiple discount factors
- Minimising good-for-games automata is NP-complete
- Optimal transformations of games and automata using Muller conditions
- Büchi Good-for-Games Automata Are Efficiently Recognizable
- scientific article; zbMATH DE number 7455749 (Why is no real title available?)
- scientific article; zbMATH DE number 7215285 (Why is no real title available?)
- Semantic flowers for good-for-games and deterministic automata
- History-deterministic timed automata
- Taming strategy logic: non-recurrent fragments
- Using the compatibility analysis of logical specifications of automata to solve game problems
- Checking history-determinism is NP-hard for parity automata
- A hierarchy of nondeterminism
- Strategic dominance: a new preorder for nondeterministic processes
- History-determinism vs fair simulation
- Positionality in _0² and a completeness result
- Lookahead games and efficient determinisation of history-deterministic Büchi automata
- Optimal Translation of LTL to Limit Deterministic Automata
- On history-deterministic one-counter nets
- History-deterministic timed automata are not determinizable
- Strategy representation by decision trees in reactive synthesis
- Width of non-deterministic automata
- Computing the width of non-deterministic automata
- How deterministic are good-for-games automata?
- scientific article; zbMATH DE number 6486247 (Why is no real title available?)
- On the minimisation of deterministic and history-deterministic generalised (co)Büchi automata
- On synthesis of specifications with arithmetic
- Quantitative vs. weighted automata
- A Myhill-Nerode theorem for higher-dimensional automata
- LTL receding horizon control for finite deterministic systems
- A survey on satisfiability checking for the \(\mu \)-calculus through tree automata
- Reactive synthesis without regret
- Tools and Algorithms for the Construction and Analysis of Systems
- History-deterministic Parikh automata
This page was built for publication: Solving Games Without Determinization
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3613352)
