Search Results for author:
Found 1 papers, 0 papers with code
Efficient Verification of Neural Networks Against LVM-Based Specifications
The deployment of perception systems based on neural networks in safety critical applications requires assurance on their robustness.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
