{"id":1146,"date":"2023-10-23T14:26:14","date_gmt":"2023-10-23T18:26:14","guid":{"rendered":"https:\/\/sites.bu.edu\/depend\/?p=1146"},"modified":"2023-10-23T17:45:36","modified_gmt":"2023-10-23T21:45:36","slug":"paper-accepted-at-ieee-tcad","status":"publish","type":"post","link":"https:\/\/sites.bu.edu\/depend\/2023\/10\/23\/paper-accepted-at-ieee-tcad\/","title":{"rendered":"POLAR-Express accepted at IEEE TCAD"},"content":{"rendered":"<p><span>Our paper &#8220;POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems&#8221; has been accepted for publication at IEEE TCAD. Congratulations to Weichao, Jiameng and our collaborators at Northwestern University, University of New Mexico, and University of Liverpool. Link to Tool: <a href=\"https:\/\/github.com\/ChaoHuang2018\/POLAR_Tool\">https:\/\/github.com\/ChaoHuang2018\/POLAR_Tool<\/a><\/span><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Our paper &#8220;POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems&#8221; has been accepted for publication at IEEE TCAD. Congratulations to Weichao, Jiameng and our collaborators at Northwestern University, University of New Mexico, and University of Liverpool. Link to Tool: https:\/\/github.com\/ChaoHuang2018\/POLAR_Tool<\/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\/1146"}],"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=1146"}],"version-history":[{"count":2,"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/posts\/1146\/revisions"}],"predecessor-version":[{"id":1149,"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/posts\/1146\/revisions\/1149"}],"wp:attachment":[{"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/media?parent=1146"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/categories?post=1146"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/tags?post=1146"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}