Pages that link to "Item:Q897653"
From MaRDI portal
The following pages link to Profile trees for Büchi word automata, with application to determinization (Q897653):
Displaying 6 items.
- New Optimizations and Heuristics for Determinization of Büchi Automata (Q3297598) (← links)
- From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata (Q3303906) (← links)
- On the power of finite ambiguity in Büchi complementation (Q6040669) (← links)
- Modular mix-and-match complementation of Büchi automata (Q6535356) (← 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)
