Jung-Min Yang, Dong-Eun Lee, Seong Woo Kwak. Model matching inclusion for input/state asynchronous sequential machines with constraint on the length of control input sequences. J. Franklin Institute, 358(2):1273-1290, 2021. [doi]
@article{YangLK21-0, title = {Model matching inclusion for input/state asynchronous sequential machines with constraint on the length of control input sequences}, author = {Jung-Min Yang and Dong-Eun Lee and Seong Woo Kwak}, year = {2021}, doi = {10.1016/j.jfranklin.2020.11.024}, url = {https://doi.org/10.1016/j.jfranklin.2020.11.024}, researchr = {https://researchr.org/publication/YangLK21-0}, cites = {0}, citedby = {0}, journal = {J. Franklin Institute}, volume = {358}, number = {2}, pages = {1273-1290}, }