The following pages link to (Q5875380):
Displaying 12 items.
- Quantitative vs. weighted automata (Q2695484) (← links)
- On Determinisation of Good-for-Games Automata (Q3449484) (← links)
- (Q5028456) (← links)
- (Q5101349) (← links)
- Good-for-Game QPTL: An Alternating Hodges Semantics (Q5875946) (← links)
- A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct (Q6137877) (← links)
- Minimization of automata for liveness languages (Q6160912) (← links)
- Alternating good-for-MDPs automata (Q6160921) (← links)
- Token Games and History-Deterministic Quantitative-Automata (Q6178674) (← links)
- Semantic flowers for good-for-games and deterministic automata (Q6195342) (← links)
- From Muller to parity and Rabin qutomata: optimal transformations preserving (history) determinism (Q6566473) (← links)
- History-deterministic timed automata (Q6635511) (← links)