The following pages link to Parityizing Rabin and Streett (Q2908872):
Displaying 5 items.
- Quantitative verification and strategy synthesis for stochastic games (Q328165) (← links)
- Topological extension of parity automata (Q388217) (← links)
- Safraless LTL synthesis considering maximal realizability (Q1674867) (← links)
- Automata Theory and Model Checking (Q3176362) (← links)
- From Muller to parity and Rabin qutomata: optimal transformations preserving (history) determinism (Q6566473) (← links)