Congratulations to Jiameng and our wonderful collaborators. POLAR substantially outperforms current SOTA techniques for reachability analysis of neural network-controlled systems. arXiv preprint: https://arxiv.org/abs/2106.13867
Please consider sending your strong papers to this track.
Weichao's paper on Symbolic Reward Machine and Jiameng's paper on Multi-View Information Bottleneck for Deep Reinforcement Learning have been accepted at ICML'22. Congrats to Weichao and Jiameng!
Wenchao will serve as an Associate Editor in the Cyber-Physical Systems and Internet of Things area.
Our new paper on neural network repair has been accepted at ICLR'22. Congrats to Feisi!
Our paper "Programmatic Reward Design by Example" has been accepted at AAAI'22. Congrats to Weichao!
Our paper "Opportunistic Communication with Latency Guarantees for Intermittently-Powered Devices" has been accepted at DATE'22. Congrats to Kacper and our collaborators at UC Riverside and Pitt!
Penny's paper "MISA: Online Defense of Trojaned Models using Misattributions" has been accepted at ACSAC'21. Congratulations to Penny and our collaborators at SRI International.