Enhancing Automata Learning by Log-Based Metrics

DOI10.1007/978-3-319-33693-0_19MaRDI QIDQ2814131zbMATH OpenOpenAlexFDO

Authors Petra van Den Bos, Rick Smetsers, F. Vaandrager

Publication date 17 June 2016

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

Full work available at URL http://hdl.handle.net/2066/159559

Mathematics Subject Classification ID

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

Recommendations

• Recent advances in learning automata
• Structural, Syntactic, and Statistical Pattern Recognition
• Automata learning with automated alphabet abstraction refinement
• Benchmarks for automata learning and conformance testing
• Automata Learning
• Automata Learning through Counterexample Guided Abstraction Refinement
• Benchmarking combinations of learning and testing algorithms for active automata learning
• The learnability of symbolic automata
• Learning finite automata using label queries

Cites work

• scientific article; zbMATH DE number 42724 (Why is no real title available?)
• scientific article; zbMATH DE number 2038772 (Why is no real title available?)
• A Semantic Framework for Test Coverage
• Grammatical inference. Learning automata and grammars.
• Handbook of weighted automata
• Inference of finite automata using homing sequences
• Learning regular sets from queries and counterexamples
• Minimal separating sequences for all pairs of states
• Processes and the denotational semantics of concurrency
• Quantitative analysis of weighted transition systems
• Simulation distances

Describes a project that uses

Uses Software

• LearnLib

This page was built for publication: Enhancing Automata Learning by Log-Based Metrics

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