Linnk AIをダウンロード
•
AIリサーチアシスタント
>
サインイン
インサイト
-
データ駆動型離散時間確率過程の抽象化
データ駆動型区間MDPを用いたロバストな制御合成
データ駆動型の離散確率モデルを用いて、確率測度空間上の非決定性を捉えることで、安全性や到達回避などの時間的性質を満たすコントローラの合成を可能にする。
1