@INPROCEEDINGS{8843327,
author={S. {Thuijsman} and D. {Hendriks} and R. {Theunissen} and M. {Reniers} and R. {Schiffelers}},
booktitle={2019 IEEE 15th International Conference on Automation Science and Engineering (CASE)},
title={Computational Effort of BDD-based Supervisor Synthesis of Extended Finite Automata},
year={2019},
volume={},
number={},
pages={486-493},
keywords={binary decision diagrams;finite automata;variable order;event order;BDD-based supervisor synthesis;BDD nodes;BDD operation count;deterministic metrics;extended finite automata;binary decision diagrams;Automata;Tools;Computational modeling;Binary decision diagrams;Extraterrestrial measurements;Clocks},
doi={10.1109/COASE.2019.8843327},
ISSN={2161-8070},
month={Aug},}