cs.LO cs.CV cs.LG
Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report
Syed Ali Asadullah Bukhari Thomas Flinkow Medet Inkarbekov Barak A. Pearlmutter Rosemary Monahan