{"id":644,"date":"2021-03-04T13:02:51","date_gmt":"2021-03-04T13:02:51","guid":{"rendered":"https:\/\/hscc.acm.org\/2021\/?page_id=644"},"modified":"2025-05-01T18:50:14","modified_gmt":"2025-05-01T18:50:14","slug":"accepted-posters","status":"publish","type":"page","link":"https:\/\/hscc.acm.org\/2025\/accepted-posters\/","title":{"rendered":"Accepted Posters"},"content":{"rendered":"\n<h2>Posters<\/h2>\n\n\n\n<ul><li>Michael Livesay and Blake Rawlings<br><em>SMT Formulations of Sufficient Conditions for Forward Invariance in Continuous Dynamical Systems<\/em><\/li><\/ul>\n\n\n\n<ul><li>Ibon Gracia, Dimitris Boskos, Luca Laurenti, Manuel Mazo Jr, Alessandro Abate and Morteza Lahijanian<br><em>Uncertain MDP Abstractions of Nonlinear Stochastic Systems With Unknown Disturbances<\/em><\/li><\/ul>\n\n\n\n<ul><li>Behrad Samari, Amy Nejati and Abolfazl Lavaei<br><em>Certified Model Order Reduction from Data<\/em><\/li><\/ul>\n\n\n\n<ul><li>Jordan Peper and Ivan Ruchkin<br><em>Probabilistic Perception Contracts for Verification of Vision-Based Autonomy<\/em><\/li><\/ul>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Posters Michael Livesay and Blake RawlingsSMT Formulations of Sufficient Conditions for Forward Invariance in Continuous Dynamical Systems Ibon Gracia, Dimitris Boskos, Luca Laurenti, Manuel Mazo Jr, Alessandro Abate and Morteza LahijanianUncertain MDP Abstractions of Nonlinear Stochastic Systems With Unknown Disturbances Behrad Samari, Amy Nejati and Abolfazl LavaeiCertified Model Order Reduction [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/hscc.acm.org\/2025\/wp-json\/wp\/v2\/pages\/644"}],"collection":[{"href":"https:\/\/hscc.acm.org\/2025\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/hscc.acm.org\/2025\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/hscc.acm.org\/2025\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/hscc.acm.org\/2025\/wp-json\/wp\/v2\/comments?post=644"}],"version-history":[{"count":25,"href":"https:\/\/hscc.acm.org\/2025\/wp-json\/wp\/v2\/pages\/644\/revisions"}],"predecessor-version":[{"id":1833,"href":"https:\/\/hscc.acm.org\/2025\/wp-json\/wp\/v2\/pages\/644\/revisions\/1833"}],"wp:attachment":[{"href":"https:\/\/hscc.acm.org\/2025\/wp-json\/wp\/v2\/media?parent=644"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}