Constructing deterministic parity automata from positive and negative examples
From MaRDI portal
Publication:6586928
DOI10.46298/theoretics.24.17zbMath1547.68283MaRDI QIDQ6586928
Unnamed Author, Christof Löding
Publication date: 13 August 2024
Published in: TheoretiCS (Search for Journal in Brave)
This page was built for publication: Constructing deterministic parity automata from positive and negative examples