libalf
From MaRDI portal
Software:21859
swMATH9880MaRDI QIDQ21859FDOQ21859
Author name not available (Why is that?)
Cited In (12)
- Learning residual alternating automata
- Reachability Games on Automatic Graphs
- A Robust Class of Data Languages and an Application to Learning
- Learning the Language of Software Errors
- A novel learning algorithm for Büchi automata based on family of DFAs and classification trees
- Supervisor synthesis of POMDP via automata learning
- Polynomial inference of universal automata from membership and equivalence queries
- Learning One-Clock Timed Automata
- Learning the Language of Error
- A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification Trees
- Inferring regular languages and \(\omega\)-languages
- Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists
This page was built for software: libalf
