{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,7]],"date-time":"2026-01-07T07:52:30Z","timestamp":1767772350388,"version":"3.44.0"},"reference-count":13,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T00:00:00Z","timestamp":1561939200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T00:00:00Z","timestamp":1561939200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,7]]},"DOI":"10.1109\/indin41052.2019.8972229","type":"proceedings-article","created":{"date-parts":[[2020,1,31]],"date-time":"2020-01-31T00:16:43Z","timestamp":1580429803000},"page":"386-391","source":"Crossref","is-referenced-by-count":3,"title":["Evaluating Two Semantics for Falsification using an Autonomous Driving Example"],"prefix":"10.1109","author":[{"given":"Zahra","family":"Ramezani","sequence":"first","affiliation":[{"name":"Department of Electrical Engineering"}]},{"given":"Nicholas","family":"Smallbone","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology,Department of Computer Science and Engineering,Gothenburg,Sweden"}]},{"given":"Martin","family":"Fabian","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering"}]},{"given":"Knut","family":"\u00c5kesson","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICEBE.2010.66"},{"key":"ref13","article-title":"On a formal model of safe and scalable self-driving cars","author":"shalev-shwartz","year":"2017","journal-title":"CoRR"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995674"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75632-5_5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.06.333"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_17"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2017.8256285"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1006\/jcss.1998.1581","article-title":"What’s decidable about hybrid automataƒ","volume":"57","author":"henzinger","year":"1998","journal-title":"Journal of Computer and System Sciences"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MITS.2016.2583491"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_21"}],"event":{"name":"2019 IEEE 17th International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2019,7,22]]},"location":"Helsinki, Finland","end":{"date-parts":[[2019,7,25]]}},"container-title":["2019 IEEE 17th International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8961950\/8972012\/08972229.pdf?arnumber=8972229","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T00:44:55Z","timestamp":1755909895000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8972229\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/indin41052.2019.8972229","relation":{},"subject":[],"published":{"date-parts":[[2019,7]]}}}