DNN制御システムの定性的および定量的な安全性検証の統一

DNN制御システムの安全性を定性的および定量的に検証するための新しい枠組みを提案する。この枠組みでは、両方の検証問題をニューラルバリアー証明の合成タスクに帰着させる。