Pages that link to "Item:Q1116702"
From MaRDI portal
The following pages link to Complementing deterministic Büchi automata in polynomial time (Q1116702):
Displayed 6 items.
- A unified approach for showing language inclusion and equivalence between various types of \(\omega\)-automata (Q685507) (← links)
- Tool support for learning Büchi automata and linear temporal logic (Q1019031) (← links)
- A theory of timed automata (Q1322162) (← links)
- A complete characterization of deterministic regular liveness properties (Q2465051) (← links)
- Relating word and tree automata (Q2576943) (← links)
- Mechanizing the Powerset Construction for Restricted Classes of ω-Automata (Q3510798) (← links)