External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Jiaxu Tian, Dapeng Zhi, Si Liu 0003, Peixin Wang, Guy Katz, Min Zhang 0002. Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training. In Rayna Dimitrova, Ori Lahav 0001, Sebastian Wolff 0001, editors, Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II. Volume 14500 of Lecture Notes in Computer Science, pages 73-97, Springer, 2024. [doi]

Authors

Jiaxu Tian

This author has not been identified. Look up 'Jiaxu Tian' in Google

Dapeng Zhi

This author has not been identified. Look up 'Dapeng Zhi' in Google

Si Liu 0003

This author has not been identified. Look up 'Si Liu 0003' in Google

Peixin Wang

This author has not been identified. Look up 'Peixin Wang' in Google

Guy Katz

This author has not been identified. Look up 'Guy Katz' in Google

Min Zhang 0002

This author has not been identified. Look up 'Min Zhang 0002' in Google
runs on