New tool paper accepted at ATVA’20
Our tool paper “ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems” has been accepted to ATVA 2020. Congratulations to Jiameng and our collaborators at Northwestern and Dayton!
Our tool paper “ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems” has been accepted to ATVA 2020. Congratulations to Jiameng and our collaborators at Northwestern and Dayton!