Kim Guldstrand Larsen

収録論文 1本 ・ フィジカルAI/ロボット学習

※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。

論文

• CommonUppRoad：自動運転車の形式モデリング・検証・学習・可視化フレームワーク
  自動運転/形式手法2024/8/1

  自動運転の安全性向上のため、CommonRoadとUPPAALを組み合わせ、Pythonで記述するだけで形式モデル変換・学習・検証・可視化を自動化するフレームワークを提案した。