The following thesis was written by a student who graduated in 2023-2024 from the Bachelor Informatica programme at Leiden University.


Thesis details

TitleProbably Approximately Correct Automata Extraction from Neural Networks
StudentZuurmond, L. (Lucas)
ProgrammeBachelor Informatica
Year2023-2024
SupervisorsBonsangue, prof.dr. M.M. (Marcello)
Ford, Dr.ing. M.C. (Chase)
Thesis Open Thesis PDF

Citation details

Zuurmond, L. (Lucas), Probably Approximately Correct Automata Extraction from Neural Networks, Thesis Bachelor Informatica, LIACS, Leiden University, 2024.