Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson. Efficient Symbolic Supervisor Synthesis for Extended Finite Automata. IEEE Trans. Contr. Sys. Techn., 22(6):2368-2375, 2014. [doi]
@article{FeiMAL14,
title = {Efficient Symbolic Supervisor Synthesis for Extended Finite Automata},
author = {Zhennan Fei and Sajed Miremadi and Knut Åkesson and Bengt Lennartson},
year = {2014},
doi = {10.1109/TCST.2014.2303134},
url = {http://dx.doi.org/10.1109/TCST.2014.2303134},
researchr = {https://researchr.org/publication/FeiMAL14},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Contr. Sys. Techn.},
volume = {22},
number = {6},
pages = {2368-2375},
}