The following pages link to (Q5092321):
Displaying 7 items.
- Automata transformations of prefix decidable and decidable by Buchi superwords (Q309440) (← links)
- A tighter analysis of Piterman's Büchi determinization (Q989532) (← links)
- (Q2754186) (← links)
- A Tight Lower Bound for Determinization of Transition Labeled Büchi Automata (Q3638092) (← links)
- Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition (Q6487334) (← links)
- Proof systems for the modal \(\mu \)-calculus obtained by determinizing automata (Q6541156) (← links)
- From Muller to parity and Rabin qutomata: optimal transformations preserving (history) determinism (Q6566473) (← links)