Robi Malik, Sahar Mohajerani, Martin Fabian. A survey on compositional algorithms for verification and synthesis in supervisory control. Discrete Event Dynamic Systems, 33(3):279-340, September 2023. [doi]
@article{MalikMF23,
title = {A survey on compositional algorithms for verification and synthesis in supervisory control},
author = {Robi Malik and Sahar Mohajerani and Martin Fabian},
year = {2023},
month = {September},
doi = {10.1007/s10626-023-00378-8},
url = {https://doi.org/10.1007/s10626-023-00378-8},
researchr = {https://researchr.org/publication/MalikMF23},
cites = {0},
citedby = {0},
journal = {Discrete Event Dynamic Systems},
volume = {33},
number = {3},
pages = {279-340},
}