{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T22:04:56Z","timestamp":1740175496537,"version":"3.37.3"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2018,5,25]],"date-time":"2018-05-25T00:00:00Z","timestamp":1527206400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Reliable Intell Environ"],"published-print":{"date-parts":[[2018,7]]},"DOI":"10.1007\/s40860-018-0058-1","type":"journal-article","created":{"date-parts":[[2018,5,25]],"date-time":"2018-05-25T08:18:15Z","timestamp":1527236295000},"page":"107-120","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Group abstraction for assisted navigation of social activities in intelligent environments"],"prefix":"10.1007","volume":"4","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8700-2671","authenticated-orcid":false,"given":"Thomas","family":"Given-Wilson","sequence":"first","affiliation":[]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2903-0823","authenticated-orcid":false,"given":"Sean","family":"Sedwards","sequence":"additional","affiliation":[]},{"given":"Olivier","family":"Zendra","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,5,25]]},"reference":[{"key":"58_CR1","unstructured":"ACANTO project web site. http:\/\/www.ict-acanto.eu\/ , October 2017"},{"key":"58_CR2","doi-asserted-by":"crossref","unstructured":"Alahi A, Goel K, Ramanathan V, Robicquet A, Li F, Savarese S (2016) Social LSTM: human trajectory prediction in crowded spaces. In: 2016 IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2016, Las Vegas, NV, USA, June 27-30, 2016, pp 961\u2013971","DOI":"10.1109\/CVPR.2016.110"},{"issue":"4","key":"58_CR3","doi-asserted-by":"publisher","first-page":"2271","DOI":"10.1109\/LRA.2017.2724772","volume":"2","author":"M Andreetto","year":"2017","unstructured":"Andreetto M, Divan S, Fontanelli D, Palopoli L (2017) Path following with authority sharing between humans and passive robotic walkers equipped with low-cost actuators. IEEE Robot Autom Lett 2(4):2271\u20132278","journal-title":"IEEE Robot Autom Lett"},{"key":"58_CR4","unstructured":"Arthur D, Vassilvitskii S (2007) k-means++: The advantages of careful seeding. In: Proceedings of the eighteenth annual ACM-SIAM symposium on Discrete algorithms. Society for Industrial and Applied Mathematics. pp 1027\u20131035"},{"key":"58_CR5","volume-title":"Principles of model checking","author":"C Baier","year":"2008","unstructured":"Baier C, Katoen J-P (2008) Principles of model checking. MIT Press, Cambridge"},{"issue":"2","key":"58_CR6","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/S0921-8890(02)00256-7","volume":"41","author":"M Bennewitz","year":"2002","unstructured":"Bennewitz M, Burgard W, Thrun S (2002) Finding and optimizing solvable priority schemes for decoupled path planning techniques for teams of mobile robots. Robot Auton Syst 41(2):89\u201399","journal-title":"Robot Auton Syst"},{"key":"58_CR7","unstructured":"Boyer B, Corre K, Legay A, Sedwards S (2013) PLASMA-lab: a fexible, distributable statistical model checking library. In: Proceedings of QEST, Springer. Vol 805, pp 4160\u2013164"},{"key":"58_CR8","unstructured":"Burkard R, Dell\u2019Amico M, Martello S (2009) Assignment problems: revised reprint. Other titles in applied mathematics. Society for Industrial and Applied Mathematics, Philadelphia"},{"issue":"3","key":"58_CR9","doi-asserted-by":"publisher","first-page":"835","DOI":"10.1109\/TASE.2015.2445780","volume":"12","author":"M \u010c\u00e1p","year":"2015","unstructured":"\u010c\u00e1p M, Nov\u00e1k P, Kleiner A, Seleck\u1ef3 M (2015) Prioritized planning algorithms for trajectory coordination of multiple mobile robots. IEEE Trans Autom Sci Eng 12(3):835\u2013849","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"58_CR10","doi-asserted-by":"crossref","unstructured":"C\u00e1p M, Nov\u00e1k P, Seleck\u1ef3 M, Faigl J, Vokffnek J (2013) Asynchronous decentralized prioritized planning for coordination in multi-robot system. In: 2013 IEEE\/RSJ International Conference on Intelligent Robots and Systems, IEEE. pp 3822\u20133829","DOI":"10.1109\/IROS.2013.6696903"},{"key":"58_CR11","doi-asserted-by":"crossref","unstructured":"Colombo A, Fontanelli D, Legay A, Palopoli L, Sedwards S (2013) Motion planning in crowds using statistical model checking to enhance the social force model. In: Proceedings of the 52nd IEEE Conference on Decision and Control, CDC 2013, December 10\u201313, 2013, Firenze, Italy, IEEE. pp 3602\u20133608","DOI":"10.1109\/CDC.2013.6760437"},{"key":"58_CR12","unstructured":"DALi project web site. http:\/\/www.ict-dali.eu\/dali , September 2017"},{"key":"58_CR13","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/S1389-0417(03)00008-1","volume":"4","author":"F David","year":"2003","unstructured":"David F (2003) Map-based navigation in mobile robots: I. A review of localization strategies. Cogn Syst Res 4:243\u2013282","journal-title":"Cogn Syst Res"},{"issue":"4","key":"58_CR14","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10514-012-9275-2","volume":"32","author":"VR Desaraju","year":"2012","unstructured":"Desaraju VR, How JP (2012) Decentralized path planning for multi-agent teams with complex constraints. Auton Robot 32(4):385\u2013403","journal-title":"Auton Robot"},{"key":"58_CR15","unstructured":"ETH Z\u00fcrich BIWI walking pedestrians open dataset web site. http:\/\/www.vision.ee.ethz.ch\/datasets\/ , October 2017"},{"key":"58_CR16","doi-asserted-by":"crossref","unstructured":"Farina F, Fontanelli D, Garulli A, Giannitrapani A, Prattichizzo D (2016) When Helbing Meets Laumond: The Headed Social Force Model. In: Proc. IEEE Int. Conf. on Decision and Control (CDC), Las Vegas, Nevada, US, Dec. 2016. IEEE, pp 3548\u20133553,","DOI":"10.1109\/CDC.2016.7798802"},{"issue":"1","key":"58_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1371\/journal.pone.0169734","volume":"12","author":"F Farina","year":"2017","unstructured":"Farina F, Fontanelli D, Garulli A, Giannitrapani A, Prattichizzo D (2017) Walking ahead: the headed social force model. PLoS one 12(1):1\u201323 01","journal-title":"PLoS one"},{"key":"58_CR18","doi-asserted-by":"crossref","unstructured":"Galindo C, Gonz\u00e1lez J, Fern\u00e1ndez-Madrigal J-A (2006) Control architecture for human-robot integration: application to a robotic wheelchair. In: IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society, 36 5:1053\u201367","DOI":"10.1109\/TSMCB.2006.874131"},{"issue":"5","key":"58_CR19","doi-asserted-by":"publisher","first-page":"1003","DOI":"10.1109\/TPAMI.2011.176","volume":"34","author":"W Ge","year":"2012","unstructured":"Ge W, Collins RT, Ruback B (2012) Vision-based analysis of small groups in pedestrian crowds. IEEE Trans Pattern Anal Mach Intell 34(5):1003\u20131016","journal-title":"IEEE Trans Pattern Anal Mach Intell"},{"key":"58_CR20","doi-asserted-by":"crossref","unstructured":"Given-Wilson T, Legay A, Sedwards S (2017) Information security, privacy, and trust in social robotic assistants for older adults. In: Tryfonas T (ed.), Human Aspects of Information Security, Privacy and Trust - 5th International Conference, HAS 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, volume 10292 of Lecture Notes in Computer Science, Springer. pp 90\u2013109","DOI":"10.1007\/978-3-319-58460-7_7"},{"key":"58_CR21","volume-title":"Pedestrian and evacuation dynamics","author":"D Helbing","year":"2002","unstructured":"Helbing D, Farkas I, Moln\u00e1r P, Vicsek T (2002) Simulation of pedestrian crowds in normal and evacuation situations. In: Schreckenberg M, Sharma SD (eds) Pedestrian and evacuation dynamics. Springer, Heidelberg"},{"key":"58_CR22","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1038\/35035023","volume":"407","author":"D Helbing","year":"2000","unstructured":"Helbing D, Farkas I, Vicsek T (2000) Simulating dynamical features of escape panic. Nature 407:487\u2013490","journal-title":"Nature"},{"key":"58_CR23","doi-asserted-by":"publisher","first-page":"1240","DOI":"10.1103\/PhysRevLett.84.1240","volume":"84","author":"D Helbing","year":"2000","unstructured":"Helbing D, Farkas IJ, Vicsek T (2000) Freezing by heating in a driven mesoscopic system. Phys Rev Lett 84:1240\u20131243","journal-title":"Phys Rev Lett"},{"key":"58_CR24","doi-asserted-by":"publisher","first-page":"4282","DOI":"10.1103\/PhysRevE.51.4282","volume":"51","author":"D Helbing","year":"1995","unstructured":"Helbing D, Moln\u00e1r P (1995) Social force model for pedestrian dynamics. Phys Rev E 51:4282\u20134286","journal-title":"Phys Rev E"},{"key":"58_CR25","doi-asserted-by":"crossref","unstructured":"H\u00e9rault T, Lassaigne R, Magniette F, Peyronnet S (2004) Approximate probabilistic model checking. In: Verification, Model Checking, and Abstract Interpretation (VMCAI 2004), Springer. vol 2937 of LNCS, pp 73\u201384","DOI":"10.1007\/978-3-540-24622-0_8"},{"issue":"6","key":"58_CR26","doi-asserted-by":"publisher","first-page":"1370","DOI":"10.1109\/TRO.2009.2030225","volume":"25","author":"H Kress-Gazit","year":"2009","unstructured":"Kress-Gazit H, Fainekos GE, Pappas GJ (2009) Temporal-logic-based reactive mission and motion planning. IEEE Trans Rob 25(6):1370\u20131381","journal-title":"IEEE Trans Rob"},{"issue":"1\u20132","key":"58_CR27","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1002\/nav.3800020109","volume":"2","author":"HW Kuhn","year":"1955","unstructured":"Kuhn HW (1955) The Hungarian method for the assignment problem. Nav Res Log Q 2(1\u20132):83\u201397","journal-title":"Nav Res Log Q"},{"key":"58_CR28","unstructured":"MacQueen J (1967) Some methods for classification and analysis of multivariate observations. In: Le\u00a0Cam LM, Neyman J (eds.), Proceedings of the fifth Berkeley symposium on mathematical statistics and probability, vol 1, pp 281\u2013297"},{"key":"58_CR29","doi-asserted-by":"crossref","unstructured":"Mamei M, Zambonelli F (2005) Physical deployment of digital pheromones through rfid technology. In: Proceedings 2005 IEEE Swarm Intelligence Symposium, 2005. SIS 2005., pp 281\u2013288. IEEE","DOI":"10.1145\/1082473.1082769"},{"key":"58_CR30","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/j.neucom.2012.07.060","volume":"148","author":"H Mo","year":"2015","unstructured":"Mo H, Xu L (2015) Research of biogeography particle swarm optimization for robot path planning. Neurocomputing 148:91\u201399","journal-title":"Neurocomputing"},{"issue":"1","key":"58_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11721-007-0009-6","volume":"2","author":"S Nouyan","year":"2008","unstructured":"Nouyan S, Campo A, Dorigo M (2008) Path formation in a robot swarm. Swarm Intell 2(1):1\u201323","journal-title":"Swarm Intell"},{"key":"58_CR32","doi-asserted-by":"crossref","unstructured":"O\u2019Hara KJ, Balch TR (2007) Pervasive sensor-less networks for cooperative multi-robot tasks. In: Distributed Autonomous Robotic Systems 6, Springer. pp 305\u2013314","DOI":"10.1007\/978-4-431-35873-2_30"},{"key":"58_CR33","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/BF02883985","volume":"10","author":"M Okamoto","year":"1959","unstructured":"Okamoto M (1959) Some inequalities relating to the partial sum of binomial probabilities. Ann Inst Stat Math 10:29\u201335","journal-title":"Ann Inst Stat Math"},{"issue":"17","key":"58_CR34","doi-asserted-by":"publisher","first-page":"3600","DOI":"10.1016\/j.physa.2009.05.027","volume":"388","author":"DR Parisi","year":"2009","unstructured":"Parisi DR, Gilman M, Moldovan H (2009) A modification of the social force model can reproduce experimental data of pedestrian flows in normal conditions. Physica A 388(17):3600\u20133608","journal-title":"Physica A"},{"key":"58_CR35","unstructured":"PLASMA-lab SMC library web site. http:\/\/project.inria.fr\/plasma-lab , October 2017"},{"issue":"3","key":"58_CR36","doi-asserted-by":"publisher","first-page":"486","DOI":"10.1109\/TSMCA.2009.2013191","volume":"39","author":"A Poncela","year":"2009","unstructured":"Poncela A, Urdiales C, P\u00e9rez EJ, Hern\u00e1ndez FS (2009) A new efficiency-weighted strategy for continuous human\/robot cooperation in navigation. IEEE Trans Syst Man Cybern Part A 39(3):486\u2013500","journal-title":"IEEE Trans Syst Man Cybern Part A"},{"key":"58_CR37","doi-asserted-by":"crossref","unstructured":"Salem M, Lakatos G, Amirabdollahian F, Dautenhahn K (2015) Would you trust a (faulty) robot?: Effects of error, task type and personality on human-robot cooperation and trust. In: Adams JA, Smart WD, Mutlu B, Takayama L (eds.), Proceedings of the Tenth Annual ACM\/IEEE International Conference on Human-Robot Interaction, HRI 2015, Portland, OR, USA, March 2-5, 2015, ACM. pp 141\u2013148","DOI":"10.1145\/2696454.2696497"},{"issue":"3","key":"58_CR38","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1177\/0278364914557874","volume":"34","author":"P Trautman","year":"2015","unstructured":"Trautman P, Ma J, Murray RM, Krause A (2015) Robot navigation in dense human crowds: Statistical models and experimental studies of human-robot cooperation. Int J Robot Res 34(3):335\u2013356","journal-title":"Int J Robot Res"},{"key":"58_CR39","unstructured":"Vavrinec M, Schaefer M (2015) Prioritized planning for road vehicles coordination. In: 19th International student conference on electrical engineering (POSTER 2015), Prague, 14 May 2015"},{"issue":"2","key":"58_CR40","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1214\/aoms\/1177731118","volume":"16","author":"A Wald","year":"1945","unstructured":"Wald A (1945) Sequential tests of statistical hypotheses. Ann Math Stat 16(2):117\u2013186","journal-title":"Ann Math Stat"},{"key":"58_CR41","doi-asserted-by":"crossref","unstructured":"Younes H, Simmons R (2002) Probabilistic verification of discrete event systems using acceptance sampling. In: CAV, Springer. vol 2404, pp 23\u201339","DOI":"10.1007\/3-540-45657-0_17"},{"key":"58_CR42","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1016\/j.neucom.2012.09.019","volume":"103","author":"Y Zhang","year":"2013","unstructured":"Zhang Y, Gong D-W, Zhang J-H (2013) Robot path planning in uncertain environment using multi-objective particle swarm optimization. Neurocomputing 103:172\u2013185","journal-title":"Neurocomputing"}],"container-title":["Journal of Reliable Intelligent Environments"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s40860-018-0058-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s40860-018-0058-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s40860-018-0058-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,24]],"date-time":"2022-08-24T04:41:47Z","timestamp":1661316107000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s40860-018-0058-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,25]]},"references-count":42,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,7]]}},"alternative-id":["58"],"URL":"https:\/\/doi.org\/10.1007\/s40860-018-0058-1","relation":{},"ISSN":["2199-4668","2199-4676"],"issn-type":[{"type":"print","value":"2199-4668"},{"type":"electronic","value":"2199-4676"}],"subject":[],"published":{"date-parts":[[2018,5,25]]},"assertion":[{"value":"26 January 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 March 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 May 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}