国立情報学研究所、自動運転車の安全性を数学的に証明する手法を開発
https://nordot.app/920127811532439552