{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T22:10:24Z","timestamp":1757455824792,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,6,2]],"date-time":"2018-06-02T00:00:00Z","timestamp":1527897600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Swedish Knowledge Foundation (KKS)","award":["20150022"],"award-info":[{"award-number":["20150022"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,6,2]]},"DOI":"10.1145\/3193992.3193999","type":"proceedings-article","created":{"date-parts":[[2018,7,19]],"date-time":"2018-07-19T13:05:12Z","timestamp":1532005512000},"page":"74-83","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Formal verification of an autonomous wheel loader by model checking"],"prefix":"10.1145","author":[{"given":"Rong","family":"Gu","sequence":"first","affiliation":[{"name":"M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"}]},{"given":"Raluca","family":"Marinescu","sequence":"additional","affiliation":[{"name":"M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"}]},{"given":"Cristina","family":"Seceleanu","sequence":"additional","affiliation":[{"name":"M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"}]},{"given":"Kristina","family":"Lundqvist","sequence":"additional","affiliation":[{"name":"M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"}]}],"member":"320","published-online":{"date-parts":[[2018,6,2]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Workshop\/School\/Symposium of the REX Project (Research and Education in Concurrent Systems). Springer, 45--73","author":"Alur Rajeev","year":"1991","unstructured":"Rajeev Alur and David Dill . 1991 . The theory of timed automata . In Workshop\/School\/Symposium of the REX Project (Research and Education in Concurrent Systems). Springer, 45--73 . Rajeev Alur and David Dill. 1991. The theory of timed automata. In Workshop\/School\/Symposium of the REX Project (Research and Education in Concurrent Systems). Springer, 45--73."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1474-6670(17)32043-8"},{"key":"e_1_3_2_1_3_1","volume-title":"Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments. arXiv preprint arXiv:1612.04977","author":"Aniculaesei Adina","year":"2016","unstructured":"Adina Aniculaesei , Daniel Arnsberger , Falk Howar , and Andreas Rausch . 2016. Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments. arXiv preprint arXiv:1612.04977 ( 2016 ). Adina Aniculaesei, Daniel Arnsberger, Falk Howar, and Andreas Rausch. 2016. Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments. arXiv preprint arXiv:1612.04977 (2016)."},{"key":"e_1_3_2_1_4_1","volume-title":"Larsen","author":"Behrmann Gerd","year":"2006","unstructured":"Gerd Behrmann , Alexandre David , and Kim G . Larsen . 2006 . A Tutorial on Uppaal 4.0. (2006). Gerd Behrmann, Alexandre David, and Kim G. Larsen. 2006. A Tutorial on Uppaal 4.0. (2006)."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1428674"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27755-2_3"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3127540.3127581"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0361-y"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2005.1570410"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJMTM.2006.008802"},{"key":"e_1_3_2_1_11_1","volume-title":"A formal basis for the heuristic determination of minimum cost paths","author":"Hart Peter E","year":"1968","unstructured":"Peter E Hart , Nils J Nilsson , and Bertram Raphael . 1968. A formal basis for the heuristic determination of minimum cost paths . IEEE transactions on Systems Science and Cybernetics 4, 2 ( 1968 ), 100--107. Peter E Hart, Nils J Nilsson, and Bertram Raphael. 1968. A formal basis for the heuristic determination of minimum cost paths. IEEE transactions on Systems Science and Cybernetics 4, 2 (1968), 100--107."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2005.1470736"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-012-4605-8"},{"key":"e_1_3_2_1_14_1","volume-title":"A framework for multi-robot motion planning from temporal logic specifications. Science China Information Sciences","author":"Koo T John","year":"2012","unstructured":"T John Koo , Rongqing Li , Michael M Quottrup , Charles A Clifton , Roozbeh Izadi-Zamanabadi , and Thomas Bak . 2012. A framework for multi-robot motion planning from temporal logic specifications. Science China Information Sciences ( 2012 ), 1--18. T John Koo, Rongqing Li, Michael M Quottrup, Charles A Clifton, Roozbeh Izadi-Zamanabadi, and Thomas Bak. 2012. A framework for multi-robot motion planning from temporal logic specifications. Science China Information Sciences (2012), 1--18."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v34i4.2512"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2004.1302413"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/INNOVATIONS.2016.7880015"},{"key":"e_1_3_2_1_19_1","volume-title":"Game Programming Gems","author":"Rabin Steve","year":"2000","unstructured":"Steve Rabin . 2000. Game Programming Gems , chapter A* Aesthetic Optimizations. Charles River Media ( 2000 ). Steve Rabin. 2000. Game Programming Gems, chapter A* Aesthetic Optimizations. Charles River Media (2000)."},{"key":"e_1_3_2_1_20_1","volume-title":"Jan Friso Groote, and Sarmen Keshishzadeh","author":"Saberi Arash Khabbaz","year":"2013","unstructured":"Arash Khabbaz Saberi , Jan Friso Groote, and Sarmen Keshishzadeh . 2013 . Analysis of Path Planning Algorithms: a Formal Verification-based Approach.. In ECAL. 232--239. Arash Khabbaz Saberi, Jan Friso Groote, and Sarmen Keshishzadeh. 2013. Analysis of Path Planning Algorithms: a Formal Verification-based Approach.. In ECAL. 232--239."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2017.08.1236"},{"volume-title":"2010 IEEE\/RSJ International Conference on Intelligent Robots and Systems. 3288--3293","author":"Smith S. L.","key":"e_1_3_2_1_22_1","unstructured":"S. L. Smith , J. Tumova , C. Belta , and D. Rus . 2010. Optimal path planning under temporal logic constraints . In 2010 IEEE\/RSJ International Conference on Intelligent Robots and Systems. 3288--3293 . S. L. Smith, J. Tumova, C. Belta, and D. Rus. 2010. Optimal path planning under temporal logic constraints. In 2010 IEEE\/RSJ International Conference on Intelligent Robots and Systems. 3288--3293."},{"key":"e_1_3_2_1_23_1","volume-title":"Dipole Flow Field for Dependable Path Planning of Multiple Agents. In IEEE\/RSJ International Conference on Intelligent Robots and Systems. http:\/\/www.es.mdh.se\/publications\/4883-","author":"Trinh LanAnh","year":"2017","unstructured":"LanAnh Trinh , Mikael Ekstr\u00f6m , and Baran \u00c7\u00fcr\u00fckl\u00fc . 2017 . Dipole Flow Field for Dependable Path Planning of Multiple Agents. In IEEE\/RSJ International Conference on Intelligent Robots and Systems. http:\/\/www.es.mdh.se\/publications\/4883- LanAnh Trinh, Mikael Ekstr\u00f6m, and Baran \u00c7\u00fcr\u00fckl\u00fc. 2017. Dipole Flow Field for Dependable Path Planning of Multiple Agents. In IEEE\/RSJ International Conference on Intelligent Robots and Systems. http:\/\/www.es.mdh.se\/publications\/4883-"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022295414523"}],"event":{"name":"ICSE '18: 40th International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"],"location":"Gothenburg Sweden","acronym":"ICSE '18"},"container-title":["Proceedings of the 6th Conference on Formal Methods in Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3193992.3193999","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3193992.3193999","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:49:15Z","timestamp":1750268955000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3193992.3193999"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,2]]},"references-count":24,"alternative-id":["10.1145\/3193992.3193999","10.1145\/3193992"],"URL":"https:\/\/doi.org\/10.1145\/3193992.3193999","relation":{},"subject":[],"published":{"date-parts":[[2018,6,2]]},"assertion":[{"value":"2018-06-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}