Explore projects
-
Loes Kruger / Adaptive LSharp Learnlib
Apache License 2.0Updated -
Updated
-
Erin van der Veen / Bachelor-Thesis
GNU General Public License v2.0 or laterUpdated -
Updated
-
Gabriel Bucur / CauSHAPley
MIT LicenseUpdated -
program-verification / course-2023-2024
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Marijn van Wezel / course-2023-2024
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
-
Updated
-
Learning product automata
Updated -
This repo is for a publication which aims at unifying the ICTAC 2015 paper with related theoretical elements introduced by Judith's Master's dissertation. The target journal is: http://journals.cambridge.org/jid_MSC
Updated -
The paper on learning SSH which we hope to submit at http://conf.researchr.org/home/spin-2017 .
Updated -
UpdatedUpdated
-
Updated
-
MRRC / NMRzoo / magpie
GNU General Public License v3.0 or laterUpdated -
Presentations, Documents, etc. related to my Master's Internship at HEP.
Updated -
Updated