Families of DFAs as acceptors of -regular languages
From MaRDI portal
Publication:4603446
Recommendations
Cites work
- scientific article; zbMATH DE number 176766 (Why is no real title available?)
- scientific article; zbMATH DE number 3639144 (Why is no real title available?)
- scientific article; zbMATH DE number 2079047 (Why is no real title available?)
- scientific article; zbMATH DE number 1916673 (Why is no real title available?)
- A modular approach for Büchi determinization
- A novel learning algorithm for Büchi automata based on family of DFAs and classification trees
- Büchi complementation made tight
- Complementing semi-deterministic Büchi automata
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages
- Families of DFAs as acceptors of \(\omega\)-regular languages
- Learning regular omega languages
- Learning the Language of Error
- Learning to divide and conquer: applying the \(L^*\) algorithm to automate assume-guarantee reasoning
- Linear Automaton Transformations
- Lower Bounds for Complementation of ω-Automata Via the Full Automata Technique
- On syntactic congruences for \(\omega\)-languages
- On the (in)succinctness of Muller automata
- Propositional dynamic logic of looping and converse is elementarily decidable
- Space-bounded reducibility among combinatorial problems
- Synthesis of interface specifications for Java classes
- Testing and generating infinite sequences by a finite automaton
- Tools and Algorithms for the Construction and Analysis of Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Ultimately periodic words of rational ω-languages
- Weak Second‐Order Arithmetic and Finite Automata
Cited in
(9)- Families of DFAs as Acceptors of omega-Regular Languages
- scientific article; zbMATH DE number 7447748 (Why is no real title available?)
- Learning infinite-word automata with loop-index queries
- Constructing deterministic parity automata from positive and negative examples
- Families of DFAs as acceptors of \(\omega\)-regular languages
- Regular \(\omega\)-languages with an informative right congruence
- Congruence Relations for Büchi Automata
- scientific article; zbMATH DE number 7649888 (Why is no real title available?)
- FORQ-Based Language Inclusion Formal Testing
This page was built for publication: Families of DFAs as acceptors of \(\omega\)-regular languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4603446)
