Computational Effort of BDD-based Supervisor Synthesis of Extended Finite Automata

Author: Sander Thuijsman, Dennis Hendriksy, Rolf Theunisseny, Michel Reniers, Ramon Schiffelers