DeepXplore

swMATH41847MaRDI QIDQ1353188FDOQ1353188

Author name not available (Why is that?)

Source code repository: https://github.com/peikexin9/deepxplore

Cited In (7)

• DiffRNN: differential verification of recurrent neural networks
• 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
• Multi-Label Classification Neural Networks with Hard Logical Constraints
• SDLV: verification of steering angle safety for self-driving cars
• Verification of the ROS NavFn planner using executable specification languages
• Compositional falsification of cyber-physical systems with machine learning components

This page was built for software: DeepXplore