Login / Signup
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems.
Yixuan Wang
Weichao Zhou
Jiameng Fan
Zhilu Wang
Jiajun Li
Xin Chen
Chao Huang
Wenchao Li
Qi Zhu
Published in:
CoRR (2023)
Keyphrases
</>
neural network
reachability analysis
fuzzy logic
artificial neural networks
computer systems
real time
genetic algorithm
reinforcement learning
expert systems
markov decision processes
neural network model
embedded systems
formal methods
incremental algorithms