Skip to main content
Hamburger Menu
Home
Tools
Tool Listing
Tool Search
Publications
About Us
Communities
Contact Us
Assured Autonomy Tools Portal
Login
Not a member?
Forgot your password?
Submit
Assured Autonomy Tools Portal
Continual Assurance of Learning-Enabled, Cyber-Physical Systems (LE-CPS)
Publications
Reachable Set Computation and Safety Verification For Neural Networks With ReLU Activations
Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations
Author
Weiming Xiang
Hoang-Dung Tran
Taylor Johnson
Year of Publication
2018
URL
https://www.researchgate.net/publication/322048764_Reachable_Set_Computation_and_Safety_Verification_for_Neural_Networks_with_ReLU_Activations
Google Scholar
|
BibTeX