{"id":1008,"date":"2022-07-05T09:40:06","date_gmt":"2022-07-05T13:40:06","guid":{"rendered":"https:\/\/sites.bu.edu\/depend\/?p=1008"},"modified":"2022-07-05T09:40:06","modified_gmt":"2022-07-05T13:40:06","slug":"polar-accepted-at-atva22","status":"publish","type":"post","link":"https:\/\/sites.bu.edu\/depend\/2022\/07\/05\/polar-accepted-at-atva22\/","title":{"rendered":"POLAR accepted at ATVA&#8217;22"},"content":{"rendered":"<p>Congratulations to Jiameng and our wonderful collaborators. POLAR substantially outperforms current SOTA techniques for reachability analysis of neural network-controlled systems. arXiv preprint: <a href=\"https:\/\/arxiv.org\/abs\/2106.13867\">https:\/\/arxiv.org\/abs\/2106.13867<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Congratulations to Jiameng and our wonderful collaborators. POLAR substantially outperforms current SOTA techniques for reachability analysis of neural network-controlled systems. arXiv preprint: https:\/\/arxiv.org\/abs\/2106.13867<\/p>\n","protected":false},"author":12381,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[1],"tags":[],"_links":{"self":[{"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/posts\/1008"}],"collection":[{"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/users\/12381"}],"replies":[{"embeddable":true,"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/comments?post=1008"}],"version-history":[{"count":1,"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/posts\/1008\/revisions"}],"predecessor-version":[{"id":1009,"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/posts\/1008\/revisions\/1009"}],"wp:attachment":[{"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/media?parent=1008"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/categories?post=1008"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/tags?post=1008"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}