{"id":668,"date":"2023-02-15T10:29:09","date_gmt":"2023-02-15T09:29:09","guid":{"rendered":"https:\/\/ai-lab.units.it\/?p=668"},"modified":"2023-02-15T10:46:22","modified_gmt":"2023-02-15T09:46:22","slug":"668","status":"publish","type":"post","link":"https:\/\/ai-lab.units.it\/?p=668","title":{"rendered":"Paper @HSCC23"},"content":{"rendered":"\n<p>Our paper\u00a0<strong>Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes<\/strong>\u00a0was accepted to\u00a0<a rel=\"noreferrer noopener\" href=\"https:\/\/hscc.acm.org\/2023\/\" target=\"_blank\"><strong>HSCC23<\/strong><\/a>, co-authored with Nicola Paoletti for King&#8217;s College London. We propose a quantitative predictive monitor over the robustness of satisfaction of an STL property for stochastic processes.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Our paper\u00a0Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes\u00a0was accepted to\u00a0HSCC23, co-authored with Nicola Paoletti for King&#8217;s College London. We propose a quantitative predictive monitor over the robustness of satisfaction of an STL property for stochastic processes.<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/ai-lab.units.it\/?p=668\"><span>Continue reading<\/span><i class=\"crycon-right-dir\"><\/i><\/a> <\/p>\n","protected":false},"author":116,"featured_media":671,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-668","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-news"],"_links":{"self":[{"href":"https:\/\/ai-lab.units.it\/index.php?rest_route=\/wp\/v2\/posts\/668","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/ai-lab.units.it\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/ai-lab.units.it\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/ai-lab.units.it\/index.php?rest_route=\/wp\/v2\/users\/116"}],"replies":[{"embeddable":true,"href":"https:\/\/ai-lab.units.it\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=668"}],"version-history":[{"count":3,"href":"https:\/\/ai-lab.units.it\/index.php?rest_route=\/wp\/v2\/posts\/668\/revisions"}],"predecessor-version":[{"id":677,"href":"https:\/\/ai-lab.units.it\/index.php?rest_route=\/wp\/v2\/posts\/668\/revisions\/677"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/ai-lab.units.it\/index.php?rest_route=\/wp\/v2\/media\/671"}],"wp:attachment":[{"href":"https:\/\/ai-lab.units.it\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=668"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/ai-lab.units.it\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=668"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/ai-lab.units.it\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=668"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}