TYPENESS FOR ω-REGULAR AUTOMATA
From MaRDI portal
Publication:5484907
Recommendations
Cites work
- scientific article; zbMATH DE number 734956 (Why is no real title available?)
- A classification of \(\omega\)-regular languages
- Alternating finite automata on \(\omega\)-words
- An automata-theoretic approach to branching-time model checking
- Decision problems forω-automata
- From linear time to branching time
- On syntactic congruences for \(\omega\)-languages
- Reasoning about infinite computations
- Testing and generating infinite sequences by a finite automaton
Cited in
(16)- scientific article; zbMATH DE number 7770050 (Why is no real title available?)
- On the (in)succinctness of Muller automata
- Automated Technology for Verification and Analysis
- Mechanizing the Powerset Construction for Restricted Classes of ω-Automata
- How deterministic are good-for-games automata?
- The quest for a tight translation of Büchi to co-Büchi automata
- scientific article; zbMATH DE number 7447748 (Why is no real title available?)
- Co-Büching them all
- From Muller to parity and Rabin qutomata: optimal transformations preserving (history) determinism
- scientific article; zbMATH DE number 1555955 (Why is no real title available?)
- Alternation and \(\omega\)-type Turing acceptors
- Cycle detection in computation tree logic
- scientific article; zbMATH DE number 7439738 (Why is no real title available?)
- Certifying inexpressibility
- Automata theory and model checking
- Types from Frames as Finite Automata
This page was built for publication: TYPENESS FOR ω-REGULAR AUTOMATA
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5484907)
