Benchmarks for automata learning and conformance testing

DOI10.1007/978-3-030-22348-9_23zbMath1519.68122OpenAlexW2954019045MaRDI QIDQ6165820

Frits W. Vaandrager, Daniel Neider, Harco Kuppens, Rick Smetsers

Publication date: 2 August 2023

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

Full work available at URL: https://doi.org/10.1007/978-3-030-22348-9_23

Mathematics Subject Classification ID

Computational learning theory (68Q32) Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Active learning of sequential transducers with side information about the domain ⋮ Active automata learning as black-box search and lazy partition refinement ⋮ State identification and verification with satisfaction

This page was built for publication: Benchmarks for automata learning and conformance testing