Sajed Miremadi, Bengt Lennartson. Symbolic On-the-Fly Synthesis in Supervisory Control Theory. IEEE Trans. Contr. Sys. Techn., 24(5):1705-1716, 2016. [doi]
@article{MiremadiL16, title = {Symbolic On-the-Fly Synthesis in Supervisory Control Theory}, author = {Sajed Miremadi and Bengt Lennartson}, year = {2016}, doi = {10.1109/TCST.2015.2508978}, url = {http://dx.doi.org/10.1109/TCST.2015.2508978}, researchr = {https://researchr.org/publication/MiremadiL16}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Contr. Sys. Techn.}, volume = {24}, number = {5}, pages = {1705-1716}, }