DeepXplore
From MaRDI portal
Software:1353188
No author found.
Source code repository: https://github.com/peikexin9/deepxplore
Related Items (7)
DiffRNN: differential verification of recurrent neural networks ⋮ Verification of the ROS NavFn planner using executable specification languages ⋮ Deep neural networks motivated by partial differential equations ⋮ A survey of safety and trustworthiness of deep neural networks: verification, testing, adversarial attack and defence, and interpretability ⋮ SDLV: verification of steering angle safety for self-driving cars ⋮ Compositional falsification of cyber-physical systems with machine learning components ⋮ Multi-Label Classification Neural Networks with Hard Logical Constraints
This page was built for software: DeepXplore
