POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems.
Yixuan WangWeichao ZhouJiameng FanZhilu WangJiajun LiXin ChenChao HuangWenchao LiQi ZhuPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2024)