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