| Date of Award | 15 Apr 2019 |
|---|---|
| Original language | English |
| Supervisor | Michel A. Reniers (Supervisor 1) & Ramon R.H. Schiffelers (External coach) |
Computational effort of BDD-based supervisor synthesis of extended finite automata
Student thesis: Master