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]
No references recorded for this publication.
No citations of this publication recorded.