Explore projects
-
Updated
-
Deprecated. The first attempt at a cost analysis for iTasks
Updated -
Interpreter for my mapper language for abstraction in automata learning.
Updated -
Thorsten Wißmann / Action Codes in Coq
GNU Lesser General Public License v2.1 onlyUpdated -
Computer Science Master's Thesis
Updated -
Updated
-
Loes Kruger / Adaptive LSharp Learnlib
Apache License 2.0Updated -
Updated
-
Updated
-
Updated
-
Updated
-
-
UpdatedUpdated
-
Updated
-
Updated
-