{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T18:11:47Z","timestamp":1759342307074,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":8,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T00:00:00Z","timestamp":1555372800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"This work was funded in part by the US National Science Foundation (NSF)","award":["CCF 1837131"],"award-info":[{"award-number":["CCF 1837131"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,4,16]]},"DOI":"10.1145\/3302504.3313353","type":"proceedings-article","created":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T13:37:58Z","timestamp":1554730678000},"page":"266-267","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Predictive monitoring for signal temporal logic with probabilistic guarantees"],"prefix":"10.1145","author":[{"given":"Xin","family":"Qin","sequence":"first","affiliation":[{"name":"University of Southern California"}]},{"given":"Jyotirmoy V.","family":"Deshmukh","sequence":"additional","affiliation":[{"name":"University of Southern California"}]}],"member":"320","published-online":{"date-parts":[[2019,4,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/1987389.1987416"},{"key":"e_1_3_2_1_2_1","volume-title":"Learning temporal logical properties discriminating ECG models of cardiac arrhytmias. arXiv preprint arXiv:1312.7523","author":"Bartocci Ezio","year":"2013","unstructured":"Ezio Bartocci , Luca Bortolussi , and Guido Sanguinetti . 2013. Learning temporal logical properties discriminating ECG models of cardiac arrhytmias. arXiv preprint arXiv:1312.7523 ( 2013 ). Ezio Bartocci, Luca Bortolussi, and Guido Sanguinetti. 2013. Learning temporal logical properties discriminating ECG models of cardiac arrhytmias. arXiv preprint arXiv:1312.7523 (2013)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10512-3_3"},{"key":"e_1_3_2_1_4_1","volume-title":"1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems (EPiC Series in Computing), Goran Frehse and Matthias Althoff (Eds.)","volume":"34","author":"Hoxha Bardh","year":"2015","unstructured":"Bardh Hoxha , Houssam Abbas , and Georgios Fainekos . 2015 . Benchmarks for Temporal Logic Requirements for Automotive Systems. In ARCH14-15 . 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems (EPiC Series in Computing), Goran Frehse and Matthias Althoff (Eds.) , Vol. 34 . EasyChair, 25--30. Bardh Hoxha, Houssam Abbas, and Georgios Fainekos. 2015. Benchmarks for Temporal Logic Requirements for Automotive Systems. In ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems (EPiC Series in Computing), Goran Frehse and Matthias Althoff (Eds.), Vol. 34. EasyChair, 25--30."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562140"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"J. Kapinski X. Jin J. Deshmukh A. Donz\u00e9 T. Yamaguchi H. Ito T. Kaga S. Kobuna and S. A. Seshia. 2016. ST-Lib: A Library for Specifying and Classifying Model Behaviors. In SAE Technical Paper. SAE.  J. Kapinski X. Jin J. Deshmukh A. Donz\u00e9 T. Yamaguchi H. Ito T. Kaga S. Kobuna and S. A. Seshia. 2016. ST-Lib: A Library for Specifying and Classifying Model Behaviors. In SAE Technical Paper. SAE.","DOI":"10.4271\/2016-01-0621"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562146"},{"key":"e_1_3_2_1_8_1","volume-title":"Deshmukh","author":"Qin Xin","year":"2018","unstructured":"Xin Qin and Jyotirmoy V . Deshmukh . 2018 . Joint Probability Distribution of Prediction Errors of ARIMA. CoRR abs\/1811.04685v1 (2018). https:\/\/arxiv.org\/abs\/1811.04685v1 Xin Qin and Jyotirmoy V. Deshmukh. 2018. Joint Probability Distribution of Prediction Errors of ARIMA. CoRR abs\/1811.04685v1 (2018). https:\/\/arxiv.org\/abs\/1811.04685v1"}],"event":{"name":"HSCC '19: 22nd ACM International Conference on Hybrid Systems: Computation and Control","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Montreal Quebec Canada","acronym":"HSCC '19"},"container-title":["Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302504.3313353","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3302504.3313353","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:25:37Z","timestamp":1750206337000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302504.3313353"}},"subtitle":["poster abstract"],"short-title":[],"issued":{"date-parts":[[2019,4,16]]},"references-count":8,"alternative-id":["10.1145\/3302504.3313353","10.1145\/3302504"],"URL":"https:\/\/doi.org\/10.1145\/3302504.3313353","relation":{},"subject":[],"published":{"date-parts":[[2019,4,16]]},"assertion":[{"value":"2019-04-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}