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!
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!
Paper on Safety-Guided Deep Reinforcement Learning via Online Gaussian Process Estimation accepted at ICLR’19 Workshop on SafeML. Congratulations, Jiameng!
Papers on resilience of multi-robot systems to physical masquerade attacks accepted at AAMAS’19 and SafeThings’19. Congratulations, Kacper!
Institute Announces 2018 Faculty Fellows
2018–2019 Career Development Awards Honor Eight Junior Faculty
Slides available at this link.