Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training

21 November 2022

Papers citing "Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training"

1 / 1 papers shown

Title
Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checking Yizhen Dong Xingyu Zhao Xiaowei Huang 16 5 0 14 Sep 2021