ETH Zürich; Shanghai Key Laboratory of Trustworthy Computing, East China Normal University; University of Oxford
Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Cheng Chen, Min Zhang
Deep reinforcement learning;Reachability analysis;Hybrid system;State abstraction
Boosting Verification of Deep Reinforcement Learning via Piece-Wise Linear Decision Neural Networks