Pages that link to "Item:Q5317190"
From MaRDI portal
The following pages link to Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata (Q5317190):
Displayed 19 items.
- Quantitative simulations by matrices (Q729815) (← links)
- Game-theoretic simulation checking tool (Q764005) (← links)
- Parity game reductions (Q1656552) (← links)
- Categorical Büchi and parity conditions via alternating fixed points of functors (Q1798796) (← links)
- \( \omega \)-automata (Q2074208) (← links)
- Consistent Consequence for Boolean Equation Systems (Q2891375) (← links)
- Büchi Automata Can Have Smaller Quotients (Q3012925) (← links)
- Advanced Ramsey-Based Büchi Automata Inclusion Testing (Q3090830) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- Computing Stuttering Simulations (Q3184698) (← links)
- New Optimizations and Heuristics for Determinization of Büchi Automata (Q3297598) (← links)
- Minimization of Visibly Pushdown Automata Using Partial Max-SAT (Q3303909) (← links)
- Memory Reduction for Strategies in Infinite Games (Q3503911) (← links)
- Mechanizing the Powerset Construction for Restricted Classes of ω-Automata (Q3510798) (← links)
- Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation (Q3648824) (← links)
- Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning (Q5039514) (← links)
- Optimizing Winning Strategies in Regular Infinite Games (Q5448640) (← links)
- Universal algorithms for parity games and nested fixpoints (Q6113979) (← links)
- Simulation relations and applications in formal methods (Q6113980) (← links)