{"id":818,"date":"2020-06-25T17:22:21","date_gmt":"2020-06-25T21:22:21","guid":{"rendered":"https:\/\/sites.bu.edu\/depend\/?p=818"},"modified":"2020-06-25T17:22:21","modified_gmt":"2020-06-25T21:22:21","slug":"new-tool-paper-accepted-at-atva20","status":"publish","type":"post","link":"https:\/\/sites.bu.edu\/depend\/2020\/06\/25\/new-tool-paper-accepted-at-atva20\/","title":{"rendered":"New tool paper accepted at ATVA&#8217;20"},"content":{"rendered":"<p><span>Our tool paper &#8220;ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems&#8221; has been accepted to ATVA 2020. Congratulations to Jiameng and our collaborators at Northwestern and Dayton!<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Our tool paper &#8220;ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems&#8221; has been accepted to ATVA 2020. Congratulations to Jiameng and our collaborators at Northwestern and Dayton!<\/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\/818"}],"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=818"}],"version-history":[{"count":1,"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/posts\/818\/revisions"}],"predecessor-version":[{"id":819,"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/posts\/818\/revisions\/819"}],"wp:attachment":[{"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/media?parent=818"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/categories?post=818"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/tags?post=818"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}