Explore projects

http://tomte.cs.ru.nl/ Tomte is a tool that fully automatically constructs abstractions for automata learning.

Tight-binding Propagation Simulator for python 3.

Python+Java tool for learning TCP implementations

Library containing support for several sensors on the raspberry pi

Run-time system for the Clean programming language

Some of the scripts used for the RERS challenge 2016

Some of the scripts used for the RERS challenge 2016

The Perception and Action Toolbox