DeepXplore
From MaRDI portal
Cited in
(31)- KeY-C
- ROSMonitoring
- Marathon 2
- RecurJac
- DeepTest
- TensorFuzz
- DLFuzz
- Muffin
- 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
- Verification of the ROS NavFn planner using executable specification languages
- DeepFool
- Apollo
- Reluplex
- Marabou
- self-driving-car-sim
- Multi-label classification neural networks with hard logical constraints
- ART
- PRODeep
- AI2
- NeuroDiff
- ReluDiff
- Paracosm
- Storm
- CRADLE
- DiffRNN
- DeepGauge
- DeepMutation
- DiffRNN: differential verification of recurrent neural networks
This page was built for software: DeepXplore
