Compositional automata learning of synchronous systems

DOI10.1007/978-3-031-30826-0_3MaRDI QIDQ6535219zbMATH OpenFDO

Authors Thomas Neele, Matteo Sammartino

Publication date 24 November 2023

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-031-30826-0_3

Mathematics Subject Classification ID

Computational learning theory (68Q32) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Learning-based compositional verification for synchronous probabilistic systems
• Learning communicating state machines
• Computer Aided Verification
• Active automata learning as black-box search and lazy partition refinement
• Benchmarking combinations of learning and testing algorithms for active automata learning

Cites work

• A Context-Free Symbiosis of Runtime Verification and Automata Learning
• Active learning for extended finite state machines
• Compositional learning for interleaving parallel automata
• Exact DFA Identification Using SAT Solvers
• Grammatical inference. Learning automata and grammars.
• scientific article; zbMATH DE number 1956591 (Why is no real title available?)
• scientific article; zbMATH DE number 1500652 (Why is no real title available?)
• Inferring Network Invariants Automatically
• Learning nominal automata
• Learning pomset automata
• Learning regular omega languages
• Learning regular sets from queries and counterexamples
• Linear Automaton Transformations
• The learnability of symbolic automata
• Verifying binarized neural networks by Angluin-style learning

Cited in

(5)

• Compositional learning for interleaving parallel automata
• From languages to behaviors and back
• Learning communicating state machines
• Compositional active learning of synchronizing systems through automated alphabet refinement
• Active learning techniques for pomset recognizers

This page was built for publication: Compositional automata learning of synchronous systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535219)