swMATH41847MaRDI QIDQ1353188FDOQ1353188
Author name not available (Why is that?)
Official website: https://arxiv.org/abs/1705.06640
Source code repository: https://github.com/peikexin9/deepxplore
Cited In (30)
- Storm
- Paracosm
- DiffRNN
- DeepGauge
- NeuroDiff
- ReluDiff
- DiffRNN: differential verification of recurrent neural networks
- DeepMutation
- TensorFuzz
- 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
- CRADLE
- Apollo
- DeepFool
- Marabou
- Reluplex
- self-driving-car-sim
- SDLV: verification of steering angle safety for self-driving cars
- ART
- PRODeep
- AI2
- Marathon 2
- ROSMonitoring
- RecurJac
- DeepTest
- DLFuzz
- Muffin
- Verification of the ROS NavFn planner using executable specification languages
- Multi-label classification neural networks with hard logical constraints
- Compositional falsification of cyber-physical systems with machine learning components
This page was built for software: DeepXplore
