notesum.ai

Published at November 21

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report

cs.LO
cs.CV

Released Date: November 21, 2024

Authors: Syed Ali Asadullah Bukhari1, Thomas Flinkow1, Medet Inkarbekov1, Barak A. Pearlmutter1, Rosemary Monahan1

Aff.: 1Department of Computer Science, Maynooth University, Maynooth, Ireland

Arxiv: http://arxiv.org/abs/2411.14163v1