Explore projects

This project has been moved to GitLab.com.

Deprecated. The first attempt at a cost analysis for iTasks

Interpreter for my mapper language for abstraction in automata learning.

Computer Science Master's Thesis

Active Learning of NOndeterministic Systems

Haskell implementation of Tasks