ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2211.11127
  4. Cited By
Taming Reachability Analysis of DNN-Controlled Systems via
  Abstraction-Based Training

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
ArXivPDFHTML

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
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