Back to Search Start Over

Verification of Recurrent Neural Networks with Star Reachability

Authors :
Hoang Dung Tran
Sung Woo Choi
Xiaodong Yang
Tomoya Yamaguchi
Bardh Hoxha
Danil Prokhorov
Source :
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control.
Publication Year :
2023
Publisher :
ACM, 2023.

Details

Database :
OpenAIRE
Journal :
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control
Accession number :
edsair.doi...........4bf2660d3bab7accd78cb809f7439e7a

Tools

Authors Abstract Subjects Details