Enhancing Automata Learning by Log-Based Metrics

DOI10.1007/978-3-319-33693-0_19zbMath1354.68162OpenAlexW2489426624MaRDI QIDQ2814131

Petra van Den Bos, Rick Smetsers, Frits W. 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

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

Uses Software

• LearnLib

Cites Work

• Quantitative analysis of weighted transition systems
• Handbook of weighted automata
• Learning regular sets from queries and counterexamples
• Inference of finite automata using homing sequences
• Minimal Separating Sequences for All Pairs of States
• A Semantic Framework for Test Coverage
• Simulation Distances
• Processes and the denotational semantics of concurrency
• Unnamed Item
• Unnamed Item
• Unnamed Item

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