| Date of Award | 25 Nov 2019 |
|---|---|
| Original language | English |
| Supervisor | Michel A. Reniers (Supervisor 1), Sander B. Thuijsman (Supervisor 2) & Ramon R.H. Schiffelers (External coach) |
DSM-based variable ordering heuristic for reduced computational effort of symbolic supervisor synthesis
Student thesis: Master