データ駆動型区間MDPを用いたロバストな制御合成

データ駆動型の離散確率モデルを用いて、確率測度空間上の非決定性を捉えることで、安全性や到達回避などの時間的性質を満たすコントローラの合成を可能にする。