Similar Items: Quantitative Verification with Neural Networks
- Comparator automata in quantitative verification
- Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification
- Multiple Instance Verification
- Verification of Neural Networks (Lecture Notes)
- Verification of Flat FIFO Systems
- Modularising Verification Of Durable Opacity