Person:6168431

From MaRDI portal

Available identifiers

zbMath Open bohn.leonMaRDI QIDQ6168431

List of research outcomes





PublicationDate of PublicationType
Constructing deterministic parity automata from positive and negative examples2024-08-13Paper
Passive learning of deterministic Büchi automata by combinations of DFAs2024-06-24Paper
Constructing deterministic \(\omega\)-automata from examples by an extension of the RPNI algorithm2023-08-08Paper

Research outcomes over time

This page was built for person:



Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:6168431&oldid=37748011"
Powered by MediaWiki