Never-stop context-free learning

DOI10.1007/978-3-030-91384-7_9MaRDI QIDQ6045031zbMATH OpenOpenAlexFDO

Authors Markus Frohme, Bernhard Steffen

Publication date 26 May 2023

Published in Model Checking, Synthesis, and Learning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-91384-7_9

zbMATH Keywords

active automata learningcontext-free languagesnever-stop learningprocedural systemsruntime verification

Mathematics Subject Classification ID

Computational learning theory (68Q32) Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 2019603
• Grammatical Inference: Algorithms and Applications
• An interactive learning algorithm for acquisition of concepts represented as CFL
• Learning context-free grammars from structural data in polynomial time

Cites work

• A Succinct Canonical Register Automaton Model
• A succinct canonical register automaton model for data domains with binary relations
• Active learning for extended finite state machines
• An elementary bisimulation decision procedure for arbitrary context-free processes
• Automata, Languages and Programming
• Demonstrating Learning of Register Automata
• Fundamental Approaches to Software Engineering
• scientific article; zbMATH DE number 1517989 (Why is no real title available?)
• scientific article; zbMATH DE number 794257 (Why is no real title available?)
• Inference of finite automata using homing sequences
• Inferring canonical register automata
• Learning register automata: from languages to program structures
• Learning regular sets from queries and counterexamples
• Minimization, Learning, and Conformance Testing of Boolean Programs
• Model-based testing of reactive systems. Advanced lectures.
• Visibly pushdown languages

Cited in

(4)

• Model checking, synthesis, and learning
• From languages to behaviors and back
• A Context-Free Symbiosis of Runtime Verification and Automata Learning
• \(SL^{\lambda}\): a scalable algorithm for register automata learning

This page was built for publication: Never-stop context-free learning

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