{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:44:59Z","timestamp":1761597899353,"version":"3.37.3"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"S3","license":[{"start":{"date-parts":[[2018,1,16]],"date-time":"2018-01-16T00:00:00Z","timestamp":1516060800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Fund of China","doi-asserted-by":"crossref","award":["61672304"],"award-info":[{"award-number":["61672304"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Natural Science Fund of Heilongjiang Province, China","award":["F201331"],"award-info":[{"award-number":["F201331"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Cluster Comput"],"published-print":{"date-parts":[[2019,5]]},"DOI":"10.1007\/s10586-017-1676-8","type":"journal-article","created":{"date-parts":[[2018,1,16]],"date-time":"2018-01-16T06:25:41Z","timestamp":1516083941000},"page":"7413-7421","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Integrating predicate reasoning and reactive behaviors for coordination of multi-robot systems"],"prefix":"10.1007","volume":"22","author":[{"given":"Xuefeng","family":"Dai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laihao","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dahui","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,1,16]]},"reference":[{"issue":"7","key":"1676_CR1","doi-asserted-by":"publisher","first-page":"1257","DOI":"10.1109\/JPROC.2006.876939","volume":"94","author":"MB Dias","year":"2006","unstructured":"Dias, M.B., Zlot, R., Kalra, N., Stentz, A.: Market-based multi-robot coordination: a survey and analysis. Proc. IEEE 94(7), 1257\u20131270 (2006)","journal-title":"Proc. IEEE"},{"issue":"7","key":"1676_CR2","doi-asserted-by":"publisher","first-page":"900","DOI":"10.1016\/j.robot.2010.03.011","volume":"58","author":"M Nanjanath","year":"2010","unstructured":"Nanjanath, M., Gini, M.: Repeated auctions for robust task execution by a robot team. Robot. Auton. Syst. 58(7), 900\u2013909 (2010)","journal-title":"Robot. Auton. Syst."},{"issue":"4","key":"1676_CR3","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1177\/027836402320556368","volume":"21","author":"UA Ercan","year":"2002","unstructured":"Ercan, U.A., Howie, C., Alfred, R., Prasad, A., Douglas, H.: Sensor-based coverage of unknown environments: incremental construction of Morse decompositions. Int. J. Robot. Res. 21(4), 345\u2013366 (2002)","journal-title":"Int. J. Robot. Res."},{"issue":"2\u20134","key":"1676_CR4","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/s10472-009-9120-2","volume":"52","author":"I Rekleitis","year":"2008","unstructured":"Rekleitis, I., New, A.P., Rankin, E.S., Choset, H.: Efficient Boustrophedon multi-robot coverage: an algorithmic approach. Ann. Math. Artif. Intell. 52(2\u20134), 109\u2013142 (2008)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"11","key":"1676_CR5","first-page":"36","volume":"46","author":"B Xu","year":"2015","unstructured":"Xu, B., Chen, L.P., Tan, Y., Xu, M.: Path planning based on minimum energy consumption for plant protection UAVs in sorties. Trans. Chin. Soc. Agric. Mach. 46(11), 36\u201342 (2015). (in Chinese)","journal-title":"Trans. Chin. Soc. Agric. Mach."},{"issue":"3","key":"1676_CR6","first-page":"928","volume":"37","author":"H Chen","year":"2016","unstructured":"Chen, H., He, K.F., Qian, W.Q.: Cooperative coverage path planning for multiple UAVs. Acta Aeronaut. Astronaut. Sin. 37(3), 928\u2013935 (2016). (in Chinese)","journal-title":"Acta Aeronaut. Astronaut. Sin."},{"issue":"3\u20134","key":"1676_CR7","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1007\/s10846-012-9800-8","volume":"72","author":"K Zhang","year":"2013","unstructured":"Zhang, K., Collins, J.G., Barbu, A.: An efficient stochastic clustering auction for heterogeneous robotic collaborative teams. J. Intell. Robot. Syst. 72(3\u20134), 541\u2013558 (2013)","journal-title":"J. Intell. Robot. Syst."},{"issue":"5","key":"1676_CR8","doi-asserted-by":"publisher","first-page":"1049","DOI":"10.1007\/s10845-014-0909-4","volume":"26","author":"S Ozturk","year":"2015","unstructured":"Ozturk, S., Kuzucuoglu, A.E.: Optimal bid valuation using path finding for multi-robot task allocation. J. Intell. Manuf. 26(5), 1049\u20131062 (2015)","journal-title":"J. Intell. Manuf."},{"issue":"4","key":"1676_CR9","doi-asserted-by":"publisher","first-page":"309","DOI":"10.5772\/10678","volume":"6","author":"A Tsalatsanis","year":"2009","unstructured":"Tsalatsanis, A., Yalcin, A., Valavanis, K.P.: Dynamic task allocation in cooperative robot reams. Int. J. Adv. Robot. Syst. 6(4), 309\u2013318 (2009)","journal-title":"Int. J. Adv. Robot. Syst."},{"issue":"3","key":"1676_CR10","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1109\/TRO.2004.839232","volume":"21","author":"W Burgard","year":"2005","unstructured":"Burgard, W., Moors, M., Stachniss, C., et al.: Coordinated multi-robot exploration. IEEE Trans. Robot. 21(3), 376\u2013386 (2005)","journal-title":"IEEE Trans. Robot."},{"issue":"9","key":"1676_CR11","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1016\/j.robot.2011.05.004","volume":"59","author":"D Puig","year":"2011","unstructured":"Puig, D., Garcia, M.A., Wu, L.: A new global optimization strategy for coordinated multi-robot exploration: development and comparative evaluation. Robot. Auton. Syst. 59(9), 635\u2013653 (2011)","journal-title":"Robot. Auton. Syst."},{"issue":"4","key":"1676_CR12","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1007\/s10514-012-9298-8","volume":"33","author":"M Julia","year":"2012","unstructured":"Julia, M., Gil, A., Reinoso, O.: A comparison of path planning strategies for autonomous exploration and mapping of unknown environments. Auton. Robot. 33(4), 427\u2013444 (2012)","journal-title":"Auton. Robot."},{"issue":"2","key":"1676_CR13","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1023\/A:1011219024159","volume":"11","author":"N Roy","year":"2001","unstructured":"Roy, N., Dudek, G.: Collaborative robot exploration and rendezvous: Algorithms, performance bounds and observations. Auton. Robot. 11(2), 117\u2013136 (2001)","journal-title":"Auton. Robot."},{"key":"1676_CR14","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/j.neucom.2012.07.062","volume":"148","author":"T Kuyucu","year":"2015","unstructured":"Kuyucu, T., Tanev, I., Shimohara, K.: Super additive effect of multi-robot coordination in the exploration of unknown environments via stigmergy. Neurocomputing 148, 83\u201390 (2015)","journal-title":"Neurocomputing"},{"key":"1676_CR15","series-title":"LNAI 2103","first-page":"9","volume-title":"Reactivity and Deliberation in MAS","author":"L Iocchi","year":"2001","unstructured":"Iocchi, L., Nardi, D.: Salerno M. Reactivity and deliberation: a survey on multi-robot systems. In: Hannebauer, M., et al. (eds.) Reactivity and Deliberation in MAS. LNAI 2103, pp. 9\u201332. Springer, Berlin (2001)"},{"issue":"12","key":"1676_CR16","doi-asserted-by":"publisher","first-page":"1495","DOI":"10.1177\/0278364913496484","volume":"32","author":"GA Korsah","year":"2013","unstructured":"Korsah, G.A., Stentz, A., Dias, M.B.: A comprehensive taxonomy for multi-robot task allocation. Int. J. Robot. Res. 32(12), 1495\u20131512 (2013)","journal-title":"Int. J. Robot. Res."},{"issue":"6","key":"1676_CR17","doi-asserted-by":"publisher","first-page":"926","DOI":"10.1109\/70.736776","volume":"14","author":"TR Balch","year":"1998","unstructured":"Balch, T.R., Arkin, R.C.: Behavior based formation control for multi-robot teams. IEEE Trans. Robot. Autom. 14(6), 926\u2013939 (1998)","journal-title":"IEEE Trans. Robot. Autom."},{"issue":"1","key":"1676_CR18","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"PJ Ramadge","year":"1989","unstructured":"Ramadge, P.J., Wonham, W.M.: The control of discrete event systems. Proc. IEEE 77(1), 81\u201398 (1989)","journal-title":"Proc. IEEE"},{"issue":"2","key":"1676_CR19","doi-asserted-by":"publisher","first-page":"737","DOI":"10.1109\/TCST.2014.2341658","volume":"23","author":"F Sharifi","year":"2015","unstructured":"Sharifi, F., Chamseddine, A., Mahboubi, H., et al.: A distributed deployment strategy for a network of cooperative autonomous vehicles. IEEE Trans. Control Syst. Technol. 23(2), 737\u2013745 (2015)","journal-title":"IEEE Trans. Control Syst. Technol."},{"issue":"3","key":"1676_CR20","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1177\/0278364910383444","volume":"30","author":"M Schwager","year":"2010","unstructured":"Schwager, M., Rus, D., Slotine, J.J.: Unifying geometric, probabilistic, and potential field approaches to multi-robot deployment. Int. J. Robot. Res. 30(3), 371\u2013383 (2010)","journal-title":"Int. J. Robot. Res."},{"issue":"2\u20133","key":"1676_CR21","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0921-8890(99)00046-9","volume":"29","author":"B Yamauchi","year":"1999","unstructured":"Yamauchi, B.: Decentralized coordination for multirobot exploration. Robot. Auton. Syst. 29(2\u20133), 111\u2013118 (1999)","journal-title":"Robot. Auton. Syst."},{"issue":"1","key":"1676_CR22","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/s10489-015-0741-3","volume":"45","author":"XF Dai","year":"2016","unstructured":"Dai, X.F., Jiang, L.H., Zhao, Y.: Cooperative exploration based on supervisory control of multi-robot systems. Appl. Intell. 45(1), 18\u201329 (2016)","journal-title":"Appl. Intell."},{"issue":"9","key":"1676_CR23","doi-asserted-by":"publisher","first-page":"939","DOI":"10.1177\/0278364904045564","volume":"23","author":"BP Gerkey","year":"2004","unstructured":"Gerkey, B.P., Mataric, M.J.: A formal analysis and taxonomy of task allocation in multi-robot systems. Int. J. Robot. Res. 23(9), 939\u2013954 (2004)","journal-title":"Int. J. Robot. Res."},{"issue":"4","key":"1676_CR24","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1007\/s10514-015-9483-7","volume":"40","author":"G Lozenguez","year":"2016","unstructured":"Lozenguez, G., Adouane, L., Beynier, A., et al.: Punctual versus continuous auction coordination for multi-robot and multi-task topological navigation. Auton. Robot. 40(4), 599\u2013613 (2016)","journal-title":"Auton. Robot."},{"issue":"2","key":"1676_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10846-015-0277-0","volume":"82","author":"T Andre","year":"2016","unstructured":"Andre, T., Bettstetter, C.: Collaboration in multi-robot exploration: to meet or not to meet? J. Intell. Robot. Syst. 82(2), 1\u201313 (2016)","journal-title":"J. Intell. Robot. Syst."},{"issue":"4","key":"1676_CR26","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/s11370-014-0154-x","volume":"7","author":"T Nagarajan","year":"2014","unstructured":"Nagarajan, T., Thondiyath, A.: An algorithm for cooperative task allocation in scalable, constrained multiple robot systems. Intell. Serv. Robot. 7(4), 221\u2013233 (2014)","journal-title":"Intell. Serv. Robot."},{"issue":"4","key":"1676_CR27","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1177\/0278364913515309","volume":"33","author":"C Nieto-Granda","year":"2014","unstructured":"Nieto-Granda, C., Rogers, J.G., Christensen, H.I.: Coordination strategies for multi-robot exploration and mapping. Int. J. Robot. Res. 33(4), 519\u2013533 (2014)","journal-title":"Int. J. Robot. Res."},{"issue":"2","key":"1676_CR28","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1109\/MRA.2006.1638022","volume":"13","author":"H Durrant-Whyte","year":"2006","unstructured":"Durrant-Whyte, H., Bailey, T.: Simultaneous localization and mapping: part I. IEEE Robot. Autom. Mag. 13(2), 99\u2013110 (2006)","journal-title":"IEEE Robot. Autom. Mag."},{"issue":"3","key":"1676_CR29","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1109\/MRA.2006.1678144","volume":"13","author":"T Bailey","year":"2006","unstructured":"Bailey, T., Durrant-Whyte, H.: Simultaneous localization and mapping: part II. IEEE Robot. Autom. Mag. 13(3), 108\u2013117 (2006)","journal-title":"IEEE Robot. Autom. Mag."},{"key":"1676_CR30","first-page":"43","volume-title":"Fundamentals of Artificial Intelligence","author":"ZX Cai","year":"2010","unstructured":"Cai, Z.X., Meng, Z.Q.: Fundamentals of Artificial Intelligence, 2nd edn, pp. 43\u201346. Higher Education Press, Beijing (2010). (in Chinese)","edition":"2"}],"container-title":["Cluster Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10586-017-1676-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10586-017-1676-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10586-017-1676-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,4]],"date-time":"2019-11-04T12:41:57Z","timestamp":1572871317000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10586-017-1676-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,1,16]]},"references-count":30,"journal-issue":{"issue":"S3","published-print":{"date-parts":[[2019,5]]}},"alternative-id":["1676"],"URL":"https:\/\/doi.org\/10.1007\/s10586-017-1676-8","relation":{},"ISSN":["1386-7857","1573-7543"],"issn-type":[{"type":"print","value":"1386-7857"},{"type":"electronic","value":"1573-7543"}],"subject":[],"published":{"date-parts":[[2018,1,16]]},"assertion":[{"value":"25 September 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 November 2017","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 December 2017","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 January 2018","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}