{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T19:33:45Z","timestamp":1773776025835,"version":"3.50.1"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1109\/cdc.2018.8619541","type":"proceedings-article","created":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T00:12:50Z","timestamp":1548288770000},"page":"1542-1547","source":"Crossref","is-referenced-by-count":10,"title":["Metrics for Signal Temporal Logic Formulae"],"prefix":"10.1109","author":[{"given":"Curtis","family":"Madsen","sequence":"first","affiliation":[]},{"given":"Prashant","family":"Vaidyanathan","sequence":"additional","affiliation":[]},{"given":"Sadra","family":"Sadraddini","sequence":"additional","affiliation":[]},{"given":"Cristian-Ioan","family":"Vasile","sequence":"additional","affiliation":[]},{"given":"Nicholas A.","family":"DeLateur","sequence":"additional","affiliation":[]},{"given":"Ron","family":"Weiss","sequence":"additional","affiliation":[]},{"given":"Douglas","family":"Densmore","sequence":"additional","affiliation":[]},{"given":"Calin","family":"Belta","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1177\/0278364915587034"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883847"},{"key":"ref12","author":"munkres","year":"2000","journal-title":"Topology"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1090\/gsm\/141"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1007\/978-3-319-11164-3_19","author":"dokhanchi","year":"2014","journal-title":"International Conference on Runtime Verification"},{"key":"ref15","article-title":"Computing the Hausdorff distance of two sets from their signed distance functions","author":"kraft","year":"2015","journal-title":"Computational Geometry"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264452"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2016.2643259"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btm362"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"ref5","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":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989177"},{"key":"ref7","first-page":"264","article-title":"Efficient robust monitoring for STL","author":"donz\u00e9","year":"2013","journal-title":"Computer Aided Verification"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"ref1","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2017.07.012"}],"event":{"name":"2018 IEEE Conference on Decision and Control (CDC)","location":"Miami Beach, FL","start":{"date-parts":[[2018,12,17]]},"end":{"date-parts":[[2018,12,19]]}},"container-title":["2018 IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8592870\/8618647\/08619541.pdf?arnumber=8619541","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T00:35:25Z","timestamp":1598229325000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8619541\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/cdc.2018.8619541","relation":{},"subject":[],"published":{"date-parts":[[2018,12]]}}}