POLAR accepted at ATVA’22

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