Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2211.11127
Cited By
Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training
21 November 2022
Jiaxu Tian
Dapeng Zhi
Si Liu
Peixin Wang
Guy Katz
M. Zhang
Re-assign community
ArXiv
PDF
HTML
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
21
5
0
14 Sep 2021
1