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!
New paper accepted at ICLR SafeML Workshop
Paper on Safety-Guided Deep Reinforcement Learning via Online Gaussian Process Estimation accepted at ICLR'19 Workshop on SafeML. Congratulations, Jiameng!
New paper accepted at AAMAS 2019 and SafeThings 2019
Papers on resilience of multi-robot systems to physical masquerade attacks accepted at AAMAS'19 and SafeThings'19. Congratulations, Kacper!
Paper on verifying weakly-hard systems accepted at HSCC’19.
Wenchao was recently named a Junior Faculty Fellow at the Hariri Institute.
Wenchao received the Peter J. Levine Career Development Professorship.
2018–2019 Career Development Awards Honor Eight Junior Faculty
Penny joined our group from Greece. Welcome!
Edward is our RISE intern for the summer. Welcome!
Panyang (PKU) and Yishuang (USTC) are visiting us from China for the summer. Welcome!
Wenchao gave the talk on “Safety-Aware Apprenticeship Learning” at CAV’18.
Slides available at this link.