Model generation by moderated regular extrapolation

DOI10.1007/3-540-45923-5_6MaRDI QIDQ4738314zbMATH OpenFDO

Authors Andreas Hagerer, Hardi Hungar, Oliver Niese, Bernhard Steffen

Publication date 11 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2306/23060080.htm

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• Generating models of infinite-state communication protocols using regular inference with abstraction
• scientific article; zbMATH DE number 4131713
• Regular model checking: evolution and perspectives
• scientific article; zbMATH DE number 1179943

Cited in

(14)

• Generating models of infinite-state communication protocols using regular inference with abstraction
• A novel learning algorithm for Büchi automata based on family of DFAs and classification trees
• Efficient unlinkable sanitizable signatures from signatures with re-randomizable keys
• Inferring canonical register automata
• Automata learning with automated alphabet abstraction refinement
• A novel learning algorithm for Büchi automata based on family of DFAs and classification trees
• Demonstration of an operational procedure for the model-based testing of CTI systems
• Learning register automata: from languages to program structures
• Query learning of derived \(\omega\)-tree languages in polynomial time
• Learning of event-recording automata
• A Context-Free Symbiosis of Runtime Verification and Automata Learning
• Guarded Kleene algebra with tests: automata learning
• \(SL^{\lambda}\): a scalable algorithm for register automata learning
• Active learning for extended finite state machines

This page was built for publication: Model generation by moderated regular extrapolation

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