POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems

Document Details

Document Type
Pub Defense Publication
Publication Date
Mar 01, 2024
Source ID
10.1109/tcad.2023.3331215

Entities

People

  • Chao Huang
  • Jiajun Li
  • Jiameng Fan
  • Qi Zhu
  • Weichao Zhou
  • Wenchao Li
  • Xin Chen
  • Yixuan Wang
  • Zhilu Wang

Organizations

  • Air Force Research Laboratory
  • Boston University
  • National Science Foundation
  • Northwestern University
  • Office of Naval Research
  • University of Liverpool
  • University of New Mexico

Tags

Technology Areas

  • AI & ML
  • AI & ML - Neural Networks