【論文要約:自動運転関連】Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report