A new approach for active automata learning based on apartness

From MaRDI portal

Publication:6535565

Jump to:navigation, search

DOI10.1007/978-3-030-99524-9_12zbMath1547.68286MaRDI QIDQ6535565

Thorsten Wißmann, Frits W. Vaandrager, Unnamed Author, Jurriaan Rot

Publication date: 23 January 2024

zbMATH Keywords

apartness relation conformance testing Mealy machine active automata learning adaptive distinguishing sequence observation tree

Mathematics Subject Classification ID

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

This page was built for publication: A new approach for active automata learning based on apartness

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6535565&oldid=40055936"