Yuchong Huang, Ning Xu, Nan Wang, Jie Li. Synthesis method of strategy for multi-robot systems fromlocal automatons under probabilistic model checking. Journal of Intelligent and Fuzzy Systems, 42(3):2057-2069, 2022. [doi]
@article{HuangXWL22,
title = {Synthesis method of strategy for multi-robot systems fromlocal automatons under probabilistic model checking},
author = {Yuchong Huang and Ning Xu and Nan Wang and Jie Li},
year = {2022},
doi = {10.3233/JIFS-211427},
url = {https://doi.org/10.3233/JIFS-211427},
researchr = {https://researchr.org/publication/HuangXWL22},
cites = {0},
citedby = {0},
journal = {Journal of Intelligent and Fuzzy Systems},
volume = {42},
number = {3},
pages = {2057-2069},
}