Frederik Baymler Mathiesen

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

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

論文

• 線形バウンド伝播によるニューラル制御バリア関数のスケーラブルな検証
  安全性検証2025/11/1

  ニューラル制御バリア関数の検証を、線形バウンド伝播とマコーミック緩和で効率化し、大規模ネットワークにも適用可能にした。

• データ駆動型バリア証明による許容安全制御
  安全制御2024/5/1

  未知の確率システムに対し、ガウス過程回帰で学習したモデルから区分的確率バリア関数を構築し、安全を保証する最大の許容戦略集合をデータから同定する手法を提案した。

• 区分確率バリア関数
  安全性解析2024/4/1

  確率システムの安全性解析のための区分関数ベースの確率バリア関数フレームワークを提案し、区分定数バリア関数の合成をミニマックス最適化問題に帰着させ、効率的な3つのアルゴリズムを導入した。

• 自動運転車の軌道予測におけるロバスト性に関するサーベイ
  軌道予測2024/2/1

  自動運転の軌道予測モデルのロバスト性評価・改善手法を、データ分割・摂動・アーキテクチャ変更・学習後調整の観点から整理したサーベイ論文。