Automata Learning and Galois Connections (Invited Talk)

DOI10.4230/LIPICS.ICALP.2019.4OpenAlexW2965193301MaRDI QIDQ5091152

Frits W. Vaandrager

Publication date: 21 July 2022

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2019/10580/pdf/LIPIcs-ICALP-2019-4.pdf/

zbMATH Keywords

Galois connectionsautomaton learningmodel learningprotocol verificationapplications of automata learning

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

This page was built for publication: Automata Learning and Galois Connections (Invited Talk)