Electrical & Computer Engineering Dependable Computing Laboratory

Menu Search
  • Home
  • People
    • Wenchao Li
  • Research
  • Publications
  • Software
  • Teaching
  • Openings
  • Pictures
Search

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

POLAR accepted at ATVA’22

Posted 3 years ago on Tuesday, July 5th, 2022

View all posts

  • Boston University
  • ECE Department
  • Search
  • BU Today