On the learnability of infinitary regular sets
From MaRDI portal
Recommendations
Cited in
(39)- Learning infinite-word automata with loop-index queries
- Checking timed Büchi automata emptiness efficiently
- Learning Meets Verification
- Inference of \(\omega\)-languages from prefixes.
- On Minimization and Learning of Deterministic ω-Automata in the Presence of Don’t Care Words
- The Complexity of Learning SUBSEQ (A)
- Uncountable automatic classes and learning
- Regular \(\omega\)-languages with an informative right congruence
- Learning Theory and Descriptive Set Theory
- On the size of an infinite language
- Polynomial identification of \(\omega \)-automata
- Query learning of derived \(\omega\)-tree languages in polynomial time
- Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages
- AUTOMATED COMPOSITIONAL REASONING OF INTUITIONISTICALLY CLOSED REGULAR PROPERTIES
- Inferring Symbolic Automata
- A new approach for active automata learning based on apartness
- Inferring regular languages and \(\omega\)-languages
- scientific article; zbMATH DE number 2080669 (Why is no real title available?)
- Four one-shot learners for regular tree languages and their polynomial characterizability
- Concurrent Kleene algebra with observations: from hypotheses to completeness
- scientific article; zbMATH DE number 7447748 (Why is no real title available?)
- On the relative sizes of learnable sets
- Automated Compositional Reasoning of Intuitionistically Closed Regular Properties
- Active automata learning as black-box search and lazy partition refinement
- Learning regular omega languages
- Learning regular omega languages
- A class of automata for the verification of infinite, resource-allocating behaviours
- Learning weighted automata over principal ideal domains
- Modular synthesis of timed circuits using partial orders on LPNs
- A novel learning algorithm for Büchi automata based on family of DFAs and classification trees
- Learning deterministic automata on infinite words
- Combinatorial Image Analysis
- Learning pomset automata
- scientific article; zbMATH DE number 2019612 (Why is no real title available?)
- On syntactic congruences for \(\omega\)-languages
- Learning register automata: from languages to program structures
- Learning regular languages over large ordered alphabets
- Constructing deterministic parity automata from positive and negative examples
- Uncountable automatic classes and learning
This page was built for publication: On the learnability of infinitary regular sets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1892893)
