Pages that link to "Item:Q2151229"
From MaRDI portal
The following pages link to Safety verification of deep neural networks (Q2151229):
Displaying 29 items.
- DiffRNN: differential verification of recurrent neural networks (Q832044) (← links)
- \textsf{BDD4BNN}: a BDD-based quantitative analysis framework for binarized neural networks (Q832164) (← links)
- Verisig 2.0: verification of neural network controllers using Taylor model preconditioning (Q832173) (← links)
- Robustness verification of semantic segmentation neural networks using relaxed reachability (Q832180) (← links)
- Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter (Q1982635) (← links)
- Probabilistic guarantees for safe deep reinforcement learning (Q1996032) (← links)
- A survey of safety and trustworthiness of deep neural networks: verification, testing, adversarial attack and defence, and interpretability (Q2026298) (← links)
- Improving neural network verification through spurious region guided refinement (Q2044215) (← links)
- Enhancing robustness verification for deep neural networks via symbolic propagation (Q2050096) (← links)
- Static analysis of ReLU neural networks with tropical polyhedra (Q2145325) (← links)
- Exploiting verified neural networks via floating point numerical error (Q2145326) (← links)
- Toward neural-network-guided program synthesis and verification (Q2145332) (← links)
- Learning finite state models from recurrent neural networks (Q2165516) (← links)
- An SMT-based approach for verifying binarized neural networks (Q2233508) (← links)
- SyReNN: a tool for analyzing deep neural networks (Q2233513) (← links)
- A game-based approximate verification of deep neural networks with provable guarantees (Q2286751) (← links)
- Compositional falsification of cyber-physical systems with machine learning components (Q2331078) (← links)
- Linear temporal public announcement logic: a new perspective for reasoning about the knowledge of multi-classifiers (Q2689320) (← links)
- Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes (Q5026215) (← links)
- Deep Statistical Model Checking (Q5041276) (← links)
- Learning for Constrained Optimization: Identifying Optimal Active Constraint Sets (Q5084662) (← links)
- How Many Bits Does it Take to Quantize Your Neural Network? (Q5164169) (← links)
- Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper). (Q5875362) (← links)
- Global optimization of objective functions represented by ReLU networks (Q6053800) (← links)
- Metrics and methods for robustness evaluation of neural networks with generative models (Q6053812) (← links)
- Sparse polynomial optimisation for neural network verification (Q6073032) (← links)
- Risk-aware shielding of partially observable Monte Carlo planning policies (Q6088298) (← links)
- Adversarial vulnerability bounds for Gaussian process classification (Q6106443) (← links)
- Guaranteed approximation error estimation of neural networks and model modification (Q6488687) (← links)
