{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:52:05Z","timestamp":1730281925286,"version":"3.28.0"},"reference-count":48,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,12,2]],"date-time":"2020-12-02T00:00:00Z","timestamp":1606867200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,12,2]],"date-time":"2020-12-02T00:00:00Z","timestamp":1606867200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,12,2]],"date-time":"2020-12-02T00:00:00Z","timestamp":1606867200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,12,2]]},"DOI":"10.1109\/memocode51338.2020.9315067","type":"proceedings-article","created":{"date-parts":[[2021,3,15]],"date-time":"2021-03-15T21:26:49Z","timestamp":1615843609000},"page":"1-12","source":"Crossref","is-referenced-by-count":3,"title":["Specification-guided Software Fault Localization for Autonomous Mobile Systems"],"prefix":"10.1109","author":[{"given":"Tomoya","family":"Yamaguchi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bardh","family":"Hoxha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Danil","family":"Prokhorov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jyotirmoy V.","family":"Deshmukh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1002\/rob.20255"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03991-1"},{"key":"ref33","first-page":"92","article-title":"On temporal logic and signal processing","author":"donz\u00e9","year":"2012","journal-title":"Automated Technology for Verification and Analysis - 10th International Symposium ATVA 2012"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8715114"},{"key":"ref31","first-page":"10:1","article-title":"Robust linear temporal logic","author":"tabuada","year":"2016","journal-title":"Proceedings CSL"},{"key":"ref30","article-title":"Specification patterns for robotic missions","author":"menghi","year":"2019","journal-title":"IEEE Transactions on Software Engineering"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73429-1"},{"key":"ref36","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/s10009-017-0447-4","article-title":"Mining parametric temporal logic properties in model-based design for cyber-physical systems","volume":"20","author":"hoxha","year":"2018","journal-title":"STTT"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883833"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2421907"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","article-title":"Monitoring temporal properties of continuous signals","author":"maler","year":"2004","journal-title":"Formal Techniques Modelling and Analysis of Timed and Fault-Tolerant Systems"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.5772\/5618"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2018.00026"},{"key":"ref12","article-title":"Fast safe mission plans for autonomous vehicles","author":"dey","year":"2016","journal-title":"Robotics Science and Systems Workshop"},{"key":"ref13","first-page":"80","article-title":"Industrial examples of formal specifications for test case generation","author":"roehm","year":"2015","journal-title":"Workshop on Applied veRification for Continuous and Hybrid Systems ARCH CPSWeek 2015"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/978-3-030-32079-9_3","article-title":"Robustness of specifications and its applications to falsification, parameter mining, and runtime monitoring with S-TaLiRo","author":"fainekos","year":"2019","journal-title":"International Conference on Runtime Verification"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3147451"},{"article-title":"Specification-based monitoring of cyber-physical systems: A survey on theory, tools and applications","year":"2017","author":"bartocci","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2521368"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101949"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2013.2285319"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/978-3-319-75632-5_5","article-title":"Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications","author":"bartocci","year":"2018","journal-title":"Lectures on Runtime Verification"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-13050-3_4"},{"key":"ref27","first-page":"5","article-title":"Ros: an open-source robot operating system","volume":"3","author":"quigley","year":"2009","journal-title":"ICRA Workshop on Open Source Software"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14509-4"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1007\/978-3-642-15297-9_9","article-title":"Robust satisfaction of temporal logic over real-valued signals","author":"donz\u00e9","year":"2010","journal-title":"Proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2016.2602089"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2016.7886680"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.4271\/2016-01-0621"},{"journal-title":"Principles of Cyber-Physical Systems","year":"2015","author":"alur","key":"ref2"},{"journal-title":"A Practical Introduction to PSL","year":"2007","author":"eisner","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038685"},{"key":"ref46","first-page":"1097","article-title":"Imagenet classification with deep convolutional neural networks","author":"krizhevsky","year":"2012","journal-title":"Proc of NeurIPS"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178131"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-60508-7_22"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1186\/s40648-019-0132-3"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2016.38"},{"article-title":"F1\/10: An open-source autonomous cyber-physical platform","year":"2019","author":"o\u2019kelly","key":"ref47"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2018.00029"},{"journal-title":"Probabilistic Robotics","year":"2005","author":"thrun","key":"ref42"},{"key":"ref24","first-page":"544","article-title":"Nubugger: A visual real-time robot debugging system","author":"annable","year":"2013","journal-title":"Robot Soccer World Cup"},{"key":"ref41","first-page":"59","article-title":"The e-puck, a robot designed for education in engineering","volume":"1","author":"mondada","year":"2009","journal-title":"Proceedings of the 9th Conference on Autonomous Robot Systems and Competitions"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2017.7884636"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-29662-9_7"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.364049"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/100.580977"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2016.07.612"}],"event":{"name":"2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)","start":{"date-parts":[[2020,12,2]]},"location":"Jaipur, India","end":{"date-parts":[[2020,12,4]]}},"container-title":["2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9314950\/9314993\/09315067.pdf?arnumber=9315067","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T01:02:01Z","timestamp":1656637321000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9315067\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12,2]]},"references-count":48,"URL":"https:\/\/doi.org\/10.1109\/memocode51338.2020.9315067","relation":{},"subject":[],"published":{"date-parts":[[2020,12,2]]}}}