Методы формальной верификации нейронных сетей и перспективы их применения в системах автономного управления поездамидоклад на конференции