Explore projects

Learning product automata

There’s an App for Everything

Het project van de app voor het R&D-project

iTasks Android app

Basic learner setup, using learnlib/automatalib, containing an example SUL and a socket-interface to connect a SUL over TCP. https://github.com/Jaxan/basic-learning

A project where we develop some of the (Java) data-structures that we use in Tomte