The following pages link to Why These Automata Types? (Q5222950):
Displaying 9 items.
- Regular model checking with regular relations (Q2140498) (← links)
- Quantitative vs. weighted automata (Q2695484) (← links)
- Approximate Automata for Omega-Regular Languages (Q3297599) (← links)
- Generic Emptiness Check for Fun and Profit (Q3297604) (← links)
- (Q5875380) (← links)
- Token Games and History-Deterministic Quantitative-Automata (Q6178674) (← links)
- From Muller to parity and Rabin qutomata: optimal transformations preserving (history) determinism (Q6566473) (← links)
- Half-positional objectives recognized by deterministic Büchi automata (Q6597970) (← links)
- Synthesis with privacy against an observer (Q6629463) (← links)
