{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T08:14:18Z","timestamp":1781165658457,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":87,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,5,9]],"date-time":"2023-05-09T00:00:00Z","timestamp":1683590400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSF award","award":["CPS-2038873"],"award-info":[{"award-number":["CPS-2038873"]}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["SHF-1910088"],"award-info":[{"award-number":["SHF-1910088"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["SHF-2048094"],"award-info":[{"award-number":["SHF-2048094"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1932620"],"award-info":[{"award-number":["CNS-1932620"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Toyota R&D"},{"name":"Airbus Institute for Engineering Research"},{"name":"Northrop Grumman Aerospace Systems"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,5,9]]},"DOI":"10.1145\/3576841.3585927","type":"proceedings-article","created":{"date-parts":[[2023,5,4]],"date-time":"2023-05-04T16:18:19Z","timestamp":1683217099000},"page":"142-153","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":34,"title":["Conformal Prediction for STL Runtime Verification"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3430-6625","authenticated-orcid":false,"given":"Lars","family":"Lindemann","sequence":"first","affiliation":[{"name":"University of Pennsylvania, Philadelphia, United States of America"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7457-0565","authenticated-orcid":false,"given":"Xin","family":"Qin","sequence":"additional","affiliation":[{"name":"University of Southern California, Los Angeles, United States of America"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8815-464X","authenticated-orcid":false,"given":"Jyotirmoy V.","family":"Deshmukh","sequence":"additional","affiliation":[{"name":"University of Southern California, Los Angeles, United States of America"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9081-0637","authenticated-orcid":false,"given":"George J.","family":"Pappas","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, United States of America"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,5,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"A scenario approach to risk-aware safety-critical system verification. arXiv preprint arXiv:2203.02595","author":"Akella Prithvi","year":"2022","unstructured":"Prithvi Akella , Mohamadreza Ahmadi , and Aaron D Ames . 2022. A scenario approach to risk-aware safety-critical system verification. arXiv preprint arXiv:2203.02595 ( 2022 ). Prithvi Akella, Mohamadreza Ahmadi, and Aaron D Ames. 2022. A scenario approach to risk-aware safety-critical system verification. arXiv preprint arXiv:2203.02595 (2022)."},{"key":"e_1_3_2_1_2_1","volume-title":"Sample-Based Bounds for Coherent Risk Measures: Applications to Policy Synthesis and Verification. arXiv preprint arXiv:2204.09833","author":"Akella Prithvi","year":"2022","unstructured":"Prithvi Akella , Anushri Dixit , Mohamadreza Ahmadi , Joel W Burdick , and Aaron D Ames . 2022. Sample-Based Bounds for Coherent Risk Measures: Applications to Policy Synthesis and Verification. arXiv preprint arXiv:2204.09833 ( 2022 ). Prithvi Akella, Anushri Dixit, Mohamadreza Ahmadi, Joel W Burdick, and Aaron D Ames. 2022. Sample-Based Bounds for Coherent Risk Measures: Applications to Policy Synthesis and Verification. arXiv preprint arXiv:2204.09833 (2022)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2014.2312453"},{"key":"e_1_3_2_1_4_1","volume-title":"A gentle introduction to conformal prediction and distribution-free uncertainty quantification. arXiv preprint arXiv:2107.07511","author":"Angelopoulos Anastasios N","year":"2021","unstructured":"Anastasios N Angelopoulos and Stephen Bates . 2021. A gentle introduction to conformal prediction and distribution-free uncertainty quantification. arXiv preprint arXiv:2107.07511 ( 2021 ). Anastasios N Angelopoulos and Stephen Bates. 2021. A gentle introduction to conformal prediction and distribution-free uncertainty quantification. arXiv preprint arXiv:2107.07511 (2021)."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32079-9_7"},{"key":"e_1_3_2_1_6_1","volume-title":"Prevent: A Predictive Run-Time Verification Framework Using Statistical Learning. In International Conference on Software Engineering and Formal Methods. Springer, 205--220","author":"Babaee Reza","year":"2018","unstructured":"Reza Babaee , Arie Gurfinkel , and Sebastian Fischmeister . 2018 . Prevent: A Predictive Run-Time Verification Framework Using Statistical Learning. In International Conference on Software Engineering and Formal Methods. Springer, 205--220 . Reza Babaee, Arie Gurfinkel, and Sebastian Fischmeister. 2018. Prevent: A Predictive Run-Time Verification Framework Using Statistical Learning. In International Conference on Software Engineering and Formal Methods. Springer, 205--220."},{"key":"e_1_3_2_1_7_1","volume-title":"Principles of Model Checking (1 ed.)","author":"Baier Christel","unstructured":"Christel Baier and Joost-Pieter Katoen . 2008. Principles of Model Checking (1 ed.) . The MIT Press , Cambridge, MA . Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking (1 ed.). The MIT Press, Cambridge, MA."},{"key":"e_1_3_2_1_8_1","volume-title":"The second international verification of neural networks competition (vnn-comp 2021): Summary and results. arXiv preprint arXiv:2109.00498","author":"Bak Stanley","year":"2021","unstructured":"Stanley Bak , Changliu Liu , and Taylor Johnson . 2021. The second international verification of neural networks competition (vnn-comp 2021): Summary and results. arXiv preprint arXiv:2109.00498 ( 2021 ). Stanley Bak, Changliu Liu, and Taylor Johnson. 2021. The second international verification of neural networks competition (vnn-comp 2021): Summary and results. arXiv preprint arXiv:2109.00498 (2021)."},{"key":"e_1_3_2_1_9_1","volume-title":"Neural Network Compression of ACAS Xu Early Prototype Is Unsafe: Closed-Loop Verification Through Quantized State Backreachability. In NASA Formal Methods Symposium. Springer, 280--298","author":"Bak Stanley","year":"2022","unstructured":"Stanley Bak and Hoang-Dung Tran . 2022 . Neural Network Compression of ACAS Xu Early Prototype Is Unsafe: Closed-Loop Verification Through Quantized State Backreachability. In NASA Formal Methods Symposium. Springer, 280--298 . Stanley Bak and Hoang-Dung Tran. 2022. Neural Network Compression of ACAS Xu Early Prototype Is Unsafe: Closed-Loop Verification Through Quantized State Backreachability. In NASA Formal Methods Symposium. Springer, 280--298."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.125.1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2015.02.046"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2000799.2000800"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60692-0_70"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32079-9_8"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-021-00623-1"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1017\/S089006042100010X"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-88494-9_7"},{"key":"e_1_3_2_1_18_1","volume-title":"Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes. arXiv preprint arXiv:2211.02375","author":"Cairoli Francesca","year":"2022","unstructured":"Francesca Cairoli , Nicola Paoletti , and Luca Bortolussi . 2022. Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes. arXiv preprint arXiv:2211.02375 ( 2022 ). Francesca Cairoli, Nicola Paoletti, and Luca Bortolussi. 2022. Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes. arXiv preprint arXiv:2211.02375 (2022)."},{"key":"e_1_3_2_1_19_1","volume-title":"A survey of runtime monitoring instrumentation techniques. arXiv preprint arXiv:1708.07229","author":"Cassar Ian","year":"2017","unstructured":"Ian Cassar , Adrian Francalanza , Luca Aceto , and Anna Ing\u00f3lfsd\u00f3ttir . 2017. A survey of runtime monitoring instrumentation techniques. arXiv preprint arXiv:1708.07229 ( 2017 ). Ian Cassar, Adrian Francalanza, Luca Aceto, and Anna Ing\u00f3lfsd\u00f3ttir. 2017. A survey of runtime monitoring instrumentation techniques. arXiv preprint arXiv:1708.07229 (2017)."},{"key":"e_1_3_2_1_20_1","volume-title":"Robust validation: Confident predictions even when distributions shift. arXiv preprint arXiv:2008.04267","author":"Cauchois Maxime","year":"2020","unstructured":"Maxime Cauchois , Suyash Gupta , Alnur Ali , and John C Duchi . 2020. Robust validation: Confident predictions even when distributions shift. arXiv preprint arXiv:2008.04267 ( 2020 ). Maxime Cauchois, Suyash Gupta, Alnur Ali, and John C Duchi. 2020. Robust validation: Confident predictions even when distributions shift. arXiv preprint arXiv:2008.04267 (2020)."},{"key":"e_1_3_2_1_21_1","volume-title":"Risk-sensitive safety analysis using Conditional Value-at-Risk","author":"Chapman Margaret P","year":"2021","unstructured":"Margaret P Chapman , Riccardo Bonalli , Kevin M Smith , Insoon Yang , Marco Pavone , and Claire J Tomlin . 2021. Risk-sensitive safety analysis using Conditional Value-at-Risk . IEEE Trans. Automat. Control ( 2021 ). Margaret P Chapman, Riccardo Bonalli, Kevin M Smith, Insoon Yang, Marco Pavone, and Claire J Tomlin. 2021. Risk-sensitive safety analysis using Conditional Value-at-Risk. IEEE Trans. Automat. Control (2021)."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS45743.2020.9340755"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0058022"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-017-0286-7"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"e_1_3_2_1_26_1","volume-title":"Conference on robot learning. PMLR, 1--16","author":"Dosovitskiy Alexey","year":"2017","unstructured":"Alexey Dosovitskiy , German Ros , Felipe Codevilla , Antonio Lopez , and Vladlen Koltun . 2017 . CARLA: An open urban driving simulator . In Conference on robot learning. PMLR, 1--16 . Alexey Dosovitskiy, German Ros, Felipe Codevilla, Antonio Lopez, and Vladlen Koltun. 2017. CARLA: An open urban driving simulator. In Conference on robot learning. PMLR, 1--16."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"e_1_3_2_1_28_1","unstructured":"Angelo Ferrando and Giorgio Delzanno. 2021. Incrementally Predictive Runtime Verification. In CILC. 92--106.  Angelo Ferrando and Giorgio Delzanno. 2021. Incrementally Predictive Runtime Verification. In CILC. 92--106."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-019-00334-z"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.3150\/21-BEJ1447"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC48978.2021.9564432"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32079-9_5"},{"key":"e_1_3_2_1_33_1","volume-title":"A logic for reasoning about time and reliability. Formal aspects of computing 6, 5","author":"Hansson Hans","year":"1994","unstructured":"Hans Hansson and Bengt Jonsson . 1994. A logic for reasoning about time and reliability. Formal aspects of computing 6, 5 ( 1994 ), 512--535. Hans Hansson and Bengt Jonsson. 1994. A logic for reasoning about time and reliability. Formal aspects of computing 6, 5 (1994), 512--535."},{"key":"e_1_3_2_1_34_1","unstructured":"Peter Heidlauf Alexander Collins Michael Bolender and Stanley Bak. 2018. Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers. In ARCH@ ADHS. 208--217.  Peter Heidlauf Alexander Collins Michael Bolender and Stanley Bak. 2018. Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers. In ARCH@ ADHS. 208--217."},{"key":"e_1_3_2_1_35_1","volume-title":"Long short-term memory. Neural computation 9, 8","author":"Hochreiter Sepp","year":"1997","unstructured":"Sepp Hochreiter and J\u00fcrgen Schmidhuber . 1997. Long short-term memory. Neural computation 9, 8 ( 1997 ), 1735--1780. Sepp Hochreiter and J\u00fcrgen Schmidhuber. 1997. Long short-term memory. Neural computation 9, 8 (1997), 1735--1780."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382216"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311806"},{"key":"e_1_3_2_1_38_1","volume-title":"Formal verification of unknown dynamical systems via Gaussian process regression. arXiv preprint arXiv:2201.00655","author":"Jackson John","year":"2021","unstructured":"John Jackson , Luca Laurenti , Eric Frew , and Morteza Lahijanian . 2021. Formal verification of unknown dynamical systems via Gaussian process regression. arXiv preprint arXiv:2201.00655 ( 2021 ). John Jackson, Luca Laurenti, Eric Frew, and Morteza Lahijanian. 2021. Formal verification of unknown dynamical systems via Gaussian process regression. arXiv preprint arXiv:2201.00655 (2021)."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-60508-7_30"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2018.8569434"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/1939399.1939412"},{"key":"e_1_3_2_1_43_1","volume-title":"Junxing Yang, Scott A Smolka, and Radu Grosu.","author":"Legay Axel","year":"2019","unstructured":"Axel Legay , Anna Lukina , Louis Marie Traonouez , Junxing Yang, Scott A Smolka, and Radu Grosu. 2019 . Statistical model checking. In Computing and Software Science. Springer , 478--504. Axel Legay, Anna Lukina, Louis Marie Traonouez, Junxing Yang, Scott A Smolka, and Radu Grosu. 2019. Statistical model checking. In Computing and Software Science. Springer, 478--504."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.2017.1307116"},{"key":"e_1_3_2_1_45_1","volume-title":"A brief account of runtime verification. The journal of logic and algebraic programming 78, 5","author":"Leucker Martin","year":"2009","unstructured":"Martin Leucker and Christian Schallhart . 2009. A brief account of runtime verification. The journal of logic and algebraic programming 78, 5 ( 2009 ), 293--303. Martin Leucker and Christian Schallhart. 2009. A brief account of runtime verification. The journal of logic and algebraic programming 78, 5 (2009), 293--303."},{"key":"e_1_3_2_1_46_1","volume-title":"Safe Planning in Dynamic Environments using Conformal Prediction. arXiv preprint arXiv:2210.10254","author":"Lindemann Lars","year":"2022","unstructured":"Lars Lindemann , Matthew Cleaveland , Gihyun Shim , and George J Pappas . 2022. Safe Planning in Dynamic Environments using Conformal Prediction. arXiv preprint arXiv:2210.10254 ( 2022 ). Lars Lindemann, Matthew Cleaveland, Gihyun Shim, and George J Pappas. 2022. Safe Planning in Dynamic Environments using Conformal Prediction. arXiv preprint arXiv:2210.10254 (2022)."},{"key":"e_1_3_2_1_47_1","volume-title":"Risk of Stochastic Systems for Temporal Logic Specifications. arXiv preprint arXiv:2205.14523","author":"Lindemann Lars","year":"2022","unstructured":"Lars Lindemann , Lejun Jiang , Nikolai Matni , and George J Pappas . 2022. Risk of Stochastic Systems for Temporal Logic Specifications. arXiv preprint arXiv:2205.14523 ( 2022 ). Lars Lindemann, Lejun Jiang, Nikolai Matni, and George J Pappas. 2022. Risk of Stochastic Systems for Temporal Logic Specifications. arXiv preprint arXiv:2205.14523 (2022)."},{"key":"e_1_3_2_1_48_1","volume-title":"Learning Robust Output Control Barrier Functions from Safe Expert Demonstrations. arXiv preprint arXiv:2111.09971","author":"Lindemann Lars","year":"2021","unstructured":"Lars Lindemann , Alexander Robey , Lejun Jiang , Stephen Tu , and Nikolai Matni . 2021. Learning Robust Output Control Barrier Functions from Safe Expert Demonstrations. arXiv preprint arXiv:2111.09971 ( 2021 ). Lars Lindemann, Alexander Robey, Lejun Jiang, Stephen Tu, and Nikolai Matni. 2021. Learning Robust Output Control Barrier Functions from Safe Expert Demonstrations. arXiv preprint arXiv:2111.09971 (2021)."},{"key":"e_1_3_2_1_49_1","volume-title":"Temporal Robustness of Stochastic Signals. In 25th ACM International Conference on Hybrid Systems: Computation and Control. 1--11","author":"Lindemann Lars","year":"2022","unstructured":"Lars Lindemann , Alena Rodionova , and George Pappas . 2022 . Temporal Robustness of Stochastic Signals. In 25th ACM International Conference on Hybrid Systems: Computation and Control. 1--11 . Lars Lindemann, Alena Rodionova, and George Pappas. 2022. Temporal Robustness of Stochastic Signals. In 25th ACM International Conference on Hybrid Systems: Computation and Control. 1--11."},{"key":"e_1_3_2_1_50_1","volume-title":"A critical review of recurrent neural networks for sequence learning. arXiv preprint arXiv:1506.00019","author":"Lipton Zachary C","year":"2015","unstructured":"Zachary C Lipton , John Berkowitz , and Charles Elkan . 2015. A critical review of recurrent neural networks for sequence learning. arXiv preprint arXiv:1506.00019 ( 2015 ). Zachary C Lipton, John Berkowitz, and Charles Elkan. 2015. A critical review of recurrent neural networks for sequence learning. arXiv preprint arXiv:1506.00019 (2015)."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-88494-9_3"},{"key":"e_1_3_2_1_52_1","volume-title":"Sample-efficient safety assurances using conformal prediction. arXiv preprint arXiv:2109.14082","author":"Luo Rachel","year":"2021","unstructured":"Rachel Luo , Shengjia Zhao , Jonathan Kuck , Boris Ivanovic , Silvio Savarese , Edward Schmerling , and Marco Pavone . 2021. Sample-efficient safety assurances using conformal prediction. arXiv preprint arXiv:2109.14082 ( 2021 ). Rachel Luo, Shengjia Zhao, Jonathan Kuck, Boris Ivanovic, Silvio Savarese, Edward Schmerling, and Marco Pavone. 2021. Sample-efficient safety assurances using conformal prediction. arXiv preprint arXiv:2109.14082 (2021)."},{"key":"e_1_3_2_1_53_1","volume-title":"Proc. Int. Conf. FORMATS FTRTFT","author":"Maler O.","unstructured":"O. Maler and D. Nickovic . 2004. Monitoring temporal properties of continuous signals . In Proc. Int. Conf. FORMATS FTRTFT . Grenoble, France, 152--166. O. Maler and D. Nickovic. 2004. Monitoring temporal properties of continuous signals. In Proc. Int. Conf. FORMATS FTRTFT. Grenoble, France, 152--166."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2017.06.060"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_56_1","volume-title":"Clairvoyant Monitoring for Signal Temporal Logic. In International Conference on Formal Modeling and Analysis of Timed Systems. Springer, 178--195","author":"Qin Xin","year":"2020","unstructured":"Xin Qin and Jyotirmoy V Deshmukh . 2020 . Clairvoyant Monitoring for Signal Temporal Logic. In International Conference on Formal Modeling and Analysis of Timed Systems. Springer, 178--195 . Xin Qin and Jyotirmoy V Deshmukh. 2020. Clairvoyant Monitoring for Signal Temporal Logic. In International Conference on Formal Modeling and Analysis of Timed Systems. Springer, 178--195."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS54341.2022.00017"},{"key":"e_1_3_2_1_58_1","article-title":"Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design. ACM","author":"Rodionova Al\u00ebna","year":"2022","unstructured":"Al\u00ebna Rodionova , Lars Lindemann , Manfred Morari , and George J. Pappas . 2022 . Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design. ACM Trans. Embed. Comput. Syst. ( July 2022). Al\u00ebna Rodionova, Lars Lindemann, Manfred Morari, and George J. Pappas. 2022. Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design. ACM Trans. Embed. Comput. Syst. (July 2022).","journal-title":"Trans. Embed. Comput. Syst."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049804"},{"key":"e_1_3_2_1_60_1","volume-title":"Proceedings of the International Conference on Artificial Intelligence and Statistics","author":"Ross St\u00e9phane","year":"2010","unstructured":"St\u00e9phane Ross and Drew Bagnell . 2010 . Efficient reductions for imitation learning . In Proceedings of the International Conference on Artificial Intelligence and Statistics . Sardinia, Italy, 661--668. St\u00e9phane Ross and Drew Bagnell. 2010. Efficient reductions for imitation learning. In Proceedings of the International Conference on Artificial Intelligence and Statistics. Sardinia, Italy, 661--668."},{"key":"e_1_3_2_1_61_1","volume-title":"Confidence Composition for Monitors of Verification Assumptions. In 2022 ACM\/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS). IEEE, 1--12","author":"Ruchkin Ivan","year":"2022","unstructured":"Ivan Ruchkin , Matthew Cleaveland , Radoslav Ivanov , Pengyuan Lu , Taylor Carpenter , Oleg Sokolsky , and Insup Lee . 2022 . Confidence Composition for Monitors of Verification Assumptions. In 2022 ACM\/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS). IEEE, 1--12 . Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor Carpenter, Oleg Sokolsky, and Insup Lee. 2022. Confidence Composition for Monitors of Verification Assumptions. In 2022 ACM\/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS). IEEE, 1--12."},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920917446"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1109\/ALLERTON.2015.7447084"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2020.12.051"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2021.109781"},{"key":"e_1_3_2_1_66_1","volume-title":"MITL Verification Under Timing Uncertainty. arXiv preprint arXiv:2204.10493","author":"Selvaratnam Daniel","year":"2022","unstructured":"Daniel Selvaratnam , Michael Cantoni , JM Davoren , and Iman Shames . 2022. MITL Verification Under Timing Uncertainty. arXiv preprint arXiv:2204.10493 ( 2022 ). Daniel Selvaratnam, Michael Cantoni, JM Davoren, and Iman Shames. 2022. MITL Verification Under Timing Uncertainty. arXiv preprint arXiv:2204.10493 (2022)."},{"key":"e_1_3_2_1_67_1","article-title":"A Tutorial on Conformal Prediction","volume":"9","author":"Shafer Glenn","year":"2008","unstructured":"Glenn Shafer and Vladimir Vovk . 2008 . A Tutorial on Conformal Prediction . Journal of Machine Learning Research 9 , 3 (2008). Glenn Shafer and Vladimir Vovk. 2008. A Tutorial on Conformal Prediction. Journal of Machine Learning Research 9, 3 (2008).","journal-title":"Journal of Machine Learning Research"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-40922-X_8"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049819"},{"key":"e_1_3_2_1_70_1","volume-title":"International Conference on Runtime Verification. Springer, 276--293","author":"Sistla A Prasad","year":"2011","unstructured":"A Prasad Sistla , Milo\u0161 \u017defran , and Yao Feng . 2011 . Runtime monitoring of stochastic cyber-physical systems with hybrid state . In International Conference on Runtime Verification. Springer, 276--293 . A Prasad Sistla, Milo\u0161 \u017defran, and Yao Feng. 2011. Runtime monitoring of stochastic cyber-physical systems with hybrid state. In International Conference on Runtime Verification. Springer, 276--293."},{"key":"e_1_3_2_1_71_1","first-page":"6216","article-title":"Conformal time-series forecasting","volume":"34","author":"Stankeviciute Kamile","year":"2021","unstructured":"Kamile Stankeviciute , Ahmed M Alaa , and Mihaela van der Schaar . 2021 . Conformal time-series forecasting . Advances in Neural Information Processing Systems 34 (2021), 6216 -- 6228 . Kamile Stankeviciute, Ahmed M Alaa, and Mihaela van der Schaar. 2021. Conformal time-series forecasting. Advances in Neural Information Processing Systems 34 (2021), 6216--6228.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311802"},{"key":"e_1_3_2_1_73_1","volume-title":"Trajectory prediction of flying vehicles based on deep learning methods. Applied Intelligence","author":"Tan Minghu","year":"2022","unstructured":"Minghu Tan , Hong Shen , Kang Xi , and Bin Chai . 2022. Trajectory prediction of flying vehicles based on deep learning methods. Applied Intelligence ( 2022 ), 1--22. Minghu Tan, Hong Shen, Kang Xi, and Bin Chai. 2022. Trajectory prediction of flying vehicles based on deep learning methods. Applied Intelligence (2022), 1--22."},{"key":"e_1_3_2_1_74_1","volume-title":"Emmanuel Candes, and Aaditya Ramdas.","author":"Tibshirani Ryan J","year":"2019","unstructured":"Ryan J Tibshirani , Rina Foygel Barber , Emmanuel Candes, and Aaditya Ramdas. 2019 . Conformal prediction under covariate shift. Advances in neural information processing systems 32 (2019). Ryan J Tibshirani, Rina Foygel Barber, Emmanuel Candes, and Aaditya Ramdas. 2019. Conformal prediction under covariate shift. Advances in neural information processing systems 32 (2019)."},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/3358230"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53288-8_1"},{"key":"e_1_3_2_1_77_1","volume-title":"Algorithmic learning in a random world","author":"Vovk Vladimir","unstructured":"Vladimir Vovk , Alexander Gammerman , and Glenn Shafer . 2005. Algorithmic learning in a random world . Springer Science & Business Media . Vladimir Vovk, Alexander Gammerman, and Glenn Shafer. 2005. Algorithmic learning in a random world. Springer Science & Business Media."},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/3450267.3450534"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3358232","article-title":"Statistical verification of hyperproperties for cyber-physical systems","volume":"18","author":"Wang Yu","year":"2019","unstructured":"Yu Wang , Mojtaba Zarei , Borzoo Bonakdarpour , and Miroslav Pajic . 2019 . Statistical verification of hyperproperties for cyber-physical systems . ACM Transactions on Embedded Computing Systems (TECS) 18 , 5s (2019), 1 -- 23 . Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, and Miroslav Pajic. 2019. Statistical verification of hyperproperties for cyber-physical systems. ACM Transactions on Embedded Computing Systems (TECS) 18, 5s (2019), 1--23.","journal-title":"ACM Transactions on Embedded Computing Systems (TECS)"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16612-9_34"},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32079-9_20"},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561193"},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.5555\/647771.760735"},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2006.05.002"},{"key":"e_1_3_2_1_85_1","volume-title":"Model Predictive Monitoring of Dynamic Systems for Signal Temporal Logic Specifications. arXiv preprint arXiv:2209.12493","author":"Yu Xinyi","year":"2022","unstructured":"Xinyi Yu , Weijie Dong , Xiang Yin , and Shaoyuan Li. 2022. Model Predictive Monitoring of Dynamic Systems for Signal Temporal Logic Specifications. arXiv preprint arXiv:2209.12493 ( 2022 ). Xinyi Yu, Weijie Dong, Xiang Yin, and Shaoyuan Li. 2022. Model Predictive Monitoring of Dynamic Systems for Signal Temporal Logic Specifications. arXiv preprint arXiv:2209.12493 (2022)."},{"key":"e_1_3_2_1_86_1","volume-title":"Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model Information. arXiv preprint arXiv:2203.16267","author":"Yu Xinyi","year":"2022","unstructured":"Xinyi Yu , Weijie Dong , Xiang Yin , and Shaoyuan Li. 2022. Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model Information. arXiv preprint arXiv:2203.16267 ( 2022 ). Xinyi Yu, Weijie Dong, Xiang Yin, and Shaoyuan Li. 2022. Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model Information. arXiv preprint arXiv:2203.16267 (2022)."},{"key":"e_1_3_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382209"}],"event":{"name":"ICCPS '23: ACM\/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023)","location":"San Antonio TX USA","acronym":"ICCPS '23","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","IEEE TCRTS"]},"container-title":["Proceedings of the ACM\/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3576841.3585927","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:47:27Z","timestamp":1750178847000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3576841.3585927"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,9]]},"references-count":87,"alternative-id":["10.1145\/3576841.3585927","10.1145\/3576841"],"URL":"https:\/\/doi.org\/10.1145\/3576841.3585927","relation":{},"subject":[],"published":{"date-parts":[[2023,5,9]]},"assertion":[{"value":"2023-05-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}