%0 Journal Article %1 journals/concurrency/DaiWZLY22 %A Dai, Xuefeng %A Wang, Jiazhi %A Zhao, Jianqi %A Li, Dahui %A Yao, Zhifeng %D 2022 %J Concurr. Comput. Pract. Exp. %K dblp %N 9 %T Predicate logic reasoning for exploration coordination of multi-robot systems in structured environments. %U http://dblp.uni-trier.de/db/journals/concurrency/concurrency34.html#DaiWZLY22 %V 34

@article{journals/concurrency/DaiWZLY22, added-at = {2023-11-27T00:00:00.000+0100}, author = {Dai, Xuefeng and Wang, Jiazhi and Zhao, Jianqi and Li, Dahui and Yao, Zhifeng}, biburl = {https://www.bibsonomy.org/bibtex/2140722d171eb2f39d1778524545eeef5/dblp}, ee = {https://doi.org/10.1002/cpe.5806}, interhash = {7037750aa38c4e8327c8eddbab79d67a}, intrahash = {140722d171eb2f39d1778524545eeef5}, journal = {Concurr. Comput. Pract. Exp.}, keywords = {dblp}, number = 9, timestamp = {2024-04-08T12:12:54.000+0200}, title = {Predicate logic reasoning for exploration coordination of multi-robot systems in structured environments.}, url = {http://dblp.uni-trier.de/db/journals/concurrency/concurrency34.html#DaiWZLY22}, volume = 34, year = 2022 }