{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T00:14:35Z","timestamp":1725668075399},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1109\/cse-euc-dcabes.2016.181","type":"proceedings-article","created":{"date-parts":[[2017,7,17]],"date-time":"2017-07-17T16:45:42Z","timestamp":1500309942000},"page":"177-180","source":"Crossref","is-referenced-by-count":2,"title":["Formal Verification of Robotics Navigation Algorithms"],"prefix":"10.1109","author":[{"given":"Vasileios","family":"Germanos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emanuele Lindo","family":"Secco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2014.9"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.jisa.2016.03.002"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/186025.186051"},{"journal-title":"Maria the Modular Reachability Analyzer","year":"2005","author":"m\u00e4kel\u00e4","key":"ref13"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1998.677268"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2012.6338716"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-48650-4_8"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38143-0_3"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03241-1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-3033-5_18"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01840369"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CloudCom.2014.104"}],"event":{"name":"2016 19th IEEE Intl Conference on Computational Science and Engineering (CSE), IEEE 14th Intl Conference on Embedded and Ubiquitous Computing (EUC), and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES)","start":{"date-parts":[[2016,8,24]]},"location":"Paris","end":{"date-parts":[[2016,8,26]]}},"container-title":["2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7981485\/7982200\/07982243.pdf?arnumber=7982243","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,25]],"date-time":"2019-04-25T23:48:06Z","timestamp":1556236086000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7982243\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/cse-euc-dcabes.2016.181","relation":{},"subject":[],"published":{"date-parts":[[2016,8]]}}}