Verification of Image-Based Controllers

Date:

Research seminar discussing our paper Verification of Image-based Neural Network Controllers Using Generative Models.