Passive learning of deterministic Büchi automata by combinations of DFAs
From MaRDI portal
Publication:6560915
DOI10.4230/lipics.icalp.2022.114zbMath1547.68282MaRDI QIDQ6560915
Unnamed Author, Christof Löding
Publication date: 24 June 2024
This page was built for publication: Passive learning of deterministic Büchi automata by combinations of DFAs