{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T07:10:19Z","timestamp":1773299419262,"version":"3.50.1"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2018,5,21]],"date-time":"2018-05-21T00:00:00Z","timestamp":1526860800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100003151","name":"Fonds de Recherche du Qu\u00e9bec - Nature et Technologies","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003151","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002848","name":"Comisi\u00f3n Nacional de Investigaci\u00f3n Cient\u00edfica y Tecnol\u00f3gica","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100002848","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[2018,7]]},"DOI":"10.1007\/s10601-018-9288-3","type":"journal-article","created":{"date-parts":[[2018,5,21]],"date-time":"2018-05-21T07:09:30Z","timestamp":1526886570000},"page":"335-354","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Intruder alert! Optimization models for solving the mobile robot graph-clear problem"],"prefix":"10.1007","volume":"23","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1008-4303","authenticated-orcid":false,"given":"Michael","family":"Morin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Margarita P.","family":"Castro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kyle E. C.","family":"Booth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tony T.","family":"Tran","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chang","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. Christopher","family":"Beck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,5,21]]},"reference":[{"key":"9288_CR1","doi-asserted-by":"crossref","unstructured":"Barri\u00e8re, L., Flocchini, P., Fraigniaud, P., Santoro, N. (2002). Capture of an intruder by mobile agents. In Proceedings of the fourteenth annual ACM symposium on Parallel algorithms and architectures (pp. 200\u2013209).","DOI":"10.1145\/564870.564906"},{"key":"9288_CR2","unstructured":"Beldiceanu, N., & Demassey, S. Global constraint catalog. http:\/\/sofdem.github.io\/gccat\/ (2014), accessed: 2017-11."},{"key":"9288_CR3","unstructured":"Booth, K.E.C., Nejat, G., Beck, J.C. (2016). A constraint programming approach to multi-robot task allocation and scheduling in retirement homes. In International conference on principles and practice of constraint programming (pp. 539\u2013555): Springer."},{"issue":"31","key":"9288_CR4","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/s10514-011-9241-4","volume":"4","author":"TH Chung","year":"2011","unstructured":"Chung, T.H., Hollinger, G.A., Volkan, I. (2011). Search and pursuit-Evasion in mobile robotics. Autonomous Robot, 4(31), 299\u2013316.","journal-title":"Autonomous Robot"},{"issue":"3","key":"9288_CR5","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1016\/j.tcs.2008.02.040","volume":"399","author":"FV Fomin","year":"2008","unstructured":"Fomin, F.V., & Thilikos, D.M. (2008). An annotated bibliography on guaranteed graph searching. Theoretical Computer Science, 399(3), 236\u2013245.","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"9288_CR6","doi-asserted-by":"publisher","first-page":"464","DOI":"10.1002\/rsa.20275","volume":"35","author":"E Fusy","year":"2009","unstructured":"Fusy, E. (2009). Uniform random sampling of planar graphs in linear time. Random Structures & Algorithms, 35(4), 464\u2013522.","journal-title":"Random Structures & Algorithms"},{"key":"9288_CR7","volume-title":"Computers and intractability, Vol. 174","author":"MR Garey","year":"1979","unstructured":"Garey, M.R., & Johnson, D.S. (1979). Computers and intractability Vol. 174. Freeman: San Francisco."},{"key":"9288_CR8","doi-asserted-by":"crossref","unstructured":"Hagberg, A., Swart, P., S Chult, D. (2008). Exploring network structure, dynamics, and function using NetworkX. Tech. rep., Los Alamos National Laboratory (LANL).","DOI":"10.25080\/TCWV9851"},{"key":"9288_CR9","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/0304-3975(86)90146-5","volume":"47","author":"LM Kirousis","year":"1986","unstructured":"Kirousis, L.M., & Papadimitriou, C.H. (1986). Searching and pebbling. Theoretical Computer Science, 47, 205\u2013218.","journal-title":"Theoretical Computer Science"},{"key":"9288_CR10","doi-asserted-by":"crossref","unstructured":"Kolling, A., & Carpin, S. (2007). Detecting intruders in complex environments with limited range mobile sensors. Robot Motion and Control, 417\u2013425.","DOI":"10.1007\/978-1-84628-974-3_38"},{"key":"9288_CR11","doi-asserted-by":"crossref","unstructured":"Kolling, A., & Carpin, S. (2007). The graph-clear problem: definition, theoretical properties and its connections to multirobot aided surveillance. In Proceedings of the IEEE\/RSJ International Conference on Intelligent Robots and Systems (pp. 1003\u20131008).","DOI":"10.1109\/IROS.2007.4399368"},{"key":"9288_CR12","doi-asserted-by":"crossref","unstructured":"Kolling, A., & Carpin, S. (2008). Extracting surveillance graphs from robot maps. In Proceedings of the IEEE\/RSJ International Conference on Intelligent Robots and Systems (pp. 2323\u20132328).","DOI":"10.1109\/IROS.2008.4650763"},{"key":"9288_CR13","doi-asserted-by":"crossref","unstructured":"Kolling, A., & Carpin, S. (2008). Multi-robot surveillance: an improved algorithm for the graph-clear problem. In Proceedings of the IEEE International Conference on Robotics and Automation (pp. 2360\u20132365).","DOI":"10.1109\/ROBOT.2008.4543566"},{"issue":"1","key":"9288_CR14","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/TRO.2009.2035737","volume":"26","author":"A Kolling","year":"2010","unstructured":"Kolling, A., & Carpin, S. (2010). Pursuit-evasion on trees by robot teams. IEEE Transactions on Robotics, 26(1), 32\u201347.","journal-title":"IEEE Transactions on Robotics"},{"key":"9288_CR15","unstructured":"Kolling, A., & Carpin, S. (2010). Solving pursuit-evasion problems with graph-clear: an overview. In Proceedings of the IEEE International Conference on Robotics and Automation. Workshop: Search and Pursuit\/Evasion in the Physical World: Efficiency, Scalability, and Guarantees (pp. 27\u201332)."},{"key":"9288_CR16","doi-asserted-by":"crossref","unstructured":"Korsah, G.A., Kannan, B., Browning, B., Stentz, A., Dias, M.B. (2012). xBots: an approach to generating and executing optimal multi-robot plans with cross-schedule dependencies. In Proceedings of the IEEE International Conference on Robotics and Automation (pp. 115\u2013122).","DOI":"10.1109\/ICRA.2012.6225234"},{"issue":"1","key":"9288_CR17","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0004-3702(78)90029-2","volume":"10","author":"JL Lauri\u00e8re","year":"1978","unstructured":"Lauri\u00e8re, J.L. (1978). A language and a program for stating and solving combinatorial problems. Artificial Intelligence, 10(1), 29\u2013127.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"9288_CR18","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1109\/TSMCC.2004.840051","volume":"35","author":"JNK Liu","year":"2005","unstructured":"Liu, J.N.K., Wang, M., Feng, B. (2005). IBOtguard: an internet-based intelligent robot security system using invariant face recognition against intruder. IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews), 35 (1), 97\u2013105.","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews)"},{"issue":"3","key":"9288_CR19","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1023\/A:1015256330750","volume":"12","author":"LE Parker","year":"2002","unstructured":"Parker, L.E. (2002). Distributed algorithms for multi-robot observation of multiple moving targets. Autonomous robots, 12(3), 231\u2013255.","journal-title":"Autonomous robots"},{"key":"9288_CR20","unstructured":"Parsons, T.D. (1978). Pursuit-evasion in a graph. In Theory and applications of graphs (pp. 426\u2013441): Springer."},{"issue":"3","key":"9288_CR21","doi-asserted-by":"publisher","first-page":"3048","DOI":"10.3182\/20140824-6-ZA-1003.02476","volume":"47","author":"H Qu","year":"2014","unstructured":"Qu, H., Kolling, A., Veres, S.M. (2014). Formulating robot pursuit-evasion strategies by model checking. IFAC Proceedings, 47(3), 3048\u20133055.","journal-title":"IFAC Proceedings"},{"key":"9288_CR22","unstructured":"Qu, H., Kolling, A., Veres, S.M. (2015). Computing time-optimal clearing strategies for pursuit-evasion problems with linear programming. In Conference towards autonomous robotic systems (pp. 216\u2013228): Springer."},{"key":"9288_CR23","doi-asserted-by":"crossref","unstructured":"Shimosasa, Y., Kanemoto, J., Hakamada, K., Horii, H., Ariki, T., Sugawara, Y., Kojio, F., Kimura, A., Yuta, S. (1999). Security service system using autonomous mobile robot. In Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, (Vol. 4 pp. 825\u2013829).","DOI":"10.1109\/ICSMC.1999.812514"},{"key":"9288_CR24","unstructured":"Van Hentenryck, P., & Carillon, J.P. (1988). Generality versus specificity: an experience with AI and OR techniques. In National conference on artificial intelligence (AAAI) (pp. 660\u2013664)."}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10601-018-9288-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-018-9288-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-018-9288-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T17:03:05Z","timestamp":1751648585000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10601-018-9288-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,21]]},"references-count":24,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,7]]}},"alternative-id":["9288"],"URL":"https:\/\/doi.org\/10.1007\/s10601-018-9288-3","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"value":"1383-7133","type":"print"},{"value":"1572-9354","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,5,21]]},"assertion":[{"value":"21 May 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}