• 1 Citations

Research output per year

If you made any changes in Pure these will be visible here soon.

Student theses

Computational effort of BDD-based supervisor synthesis of extended finite automata

Author: Thuijsman, S. B., 15 Apr 2019

Supervisor: Reniers, M. A. (Supervisor 1) & Schiffelers, R. R. (External coach)

Student thesis: Master