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

Student thesis: Master

Abstract

Date of Award15 Apr 2019
Original languageEnglish
SupervisorMichel A. Reniers (Supervisor 1) & Ramon R.H. Schiffelers (External coach)

Cite this

Computational effort of BDD-based supervisor synthesis of extended finite automata
Thuijsman, S. B. (Author). 15 Apr 2019

Student thesis: Master