The following pages link to Fair simulation (Q1854506):
Displaying 29 items.
- A survey of stochastic \(\omega \)-regular games (Q414898) (← links)
- Model-checking process equivalences (Q477208) (← links)
- Quantitative fair simulation games (Q528184) (← links)
- An inventory-transportation system with stochastic demand (Q744222) (← links)
- Game-theoretic simulation checking tool (Q764005) (← links)
- Randomness for free (Q897644) (← links)
- Strategy logic (Q979080) (← links)
- The Gibbs cloner for combinatorial optimization, counting and sampling (Q1041307) (← links)
- Multi-buffer simulations: decidability and complexity (Q1784963) (← links)
- Applicability of fair simulation (Q1886036) (← links)
- Automata on infinite trees (Q2074210) (← links)
- Bisimulation maps in presheaf categories (Q2133160) (← links)
- A survey of partial-observation stochastic parity games (Q2248075) (← links)
- Strategy synthesis for multi-dimensional quantitative objectives (Q2249657) (← links)
- Matching in security-by-contract for mobile code (Q2390033) (← links)
- Bridging the gap between fair simulation and trace inclusion (Q2486398) (← links)
- Büchi Automata Can Have Smaller Quotients (Q3012925) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- Latticed Simulation Relations and Games (Q3510804) (← links)
- LATTICED SIMULATION RELATIONS AND GAMES (Q3552519) (← links)
- OBLIGATION BLACKWELL GAMES AND P-AUTOMATA (Q4977213) (← links)
- Topological Characterisation of Multi-Buffer Simulation (Q4989168) (← links)
- (Q5021013) (← links)
- Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning (Q5039514) (← links)
- Minimizing GFG Transition-Based Automata (Q5091262) (← links)
- (Q5101349) (← links)
- BÜCHI COMPLEMENTATION MADE TIGHTER (Q5484906) (← links)
- Simulations in rank-based Büchi automata complementation (Q6536321) (← links)
- Checking history-determinism is NP-hard for parity automata (Q6629459) (← links)
