A novel learning algorithm for Büchi automata based on family of DFAs and classification trees
From MaRDI portal
Publication:2051763
DOI10.1016/j.ic.2020.104678OpenAlexW3114699776MaRDI QIDQ2051763
Yu-Fang Chen, Yong Li, Depeng Liu, Li-jun Zhang
Publication date: 25 November 2021
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1610.07380
learning algorithmclassification treeBüchi automataautomata learning\( L^\ast \)family of DFAsobservation table
Related Items
Uses Software
Cites Work
- Learning regular omega languages
- Learning register automata: from languages to program structures
- A syntactic congruence for rational \(\omega\)-languages
- Learning regular sets from queries and counterexamples
- Recognizing safety and liveness
- On the learnability of infinitary regular sets
- Queries and concept learning
- Complementing semi-deterministic Büchi automata
- Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems
- Inferring Canonical Register Automata
- Büchi Store: An Open Repository of Büchi Automata
- Advanced Ramsey-Based Büchi Automata Inclusion Testing
- A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification Trees
- Learning the Language of Error
- Learning Minimal Separating DFA’s for Compositional Verification
- The complexity of probabilistic verification
- Families of DFAs as Acceptors of omega-Regular Languages
- Limit-Deterministic Büchi Automata for Linear Temporal Logic
- Learning One-Clock Timed Automata
- Polynomial Identification of $$\omega $$-Automata
- The size-change principle for program termination
- Synthesis of interface specifications for Java classes
- Learning nominal automata
- Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages
- Computer Aided Verification
- Computer Aided Verification
- Ultimately periodic words of rational ω-languages
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
