Recent News

New paper accepted at EMSOFT 2019

Our paper "ReachNN: Reachability Analysis of Neural-Network Controlled Systems" has been accepted to appear at EMSOFT'19. Congratulations to Jiameng and our collaborators at Northwestern and Dayton!