libalf

swMATH9880MaRDI QIDQ21859FDOQ21859

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/978-3-642-14295-6_32

Source code repository: https://github.com/libalf/libalf

Cited In (24)

• AALpy
• Learning residual alternating automata
• A robust class of data languages and an application to learning
• Learning one-clock timed automata
• A novel learning algorithm for Büchi automata based on family of DFAs and classification trees
• A novel learning algorithm for Büchi automata based on family of DFAs and classification trees
• COMICS
• Supervisor synthesis of POMDP via automata learning
• BULL
• LearnLib
• RALib
• MuACOsm
• Polynomial inference of universal automata from membership and equivalence queries
• Sigma*
• IDP3
• CALF
• LEVER
• jq
• DeepLog
• Learning the language of software errors
• Learning the Language of Error
• Reachability games on automatic graphs
• 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