Automata Learning and Galois Connections (Invited Talk)
From MaRDI portal
Publication:5091152
DOI10.4230/LIPICS.ICALP.2019.4OpenAlexW2965193301MaRDI QIDQ5091152
Publication date: 21 July 2022
Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2019/10580/pdf/LIPIcs-ICALP-2019-4.pdf/
Galois connectionsautomaton learningmodel learningprotocol verificationapplications of automata learning
This page was built for publication: Automata Learning and Galois Connections (Invited Talk)