Sebastian Elbaum

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

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

論文

• SafeManip: ロボット操作における時間的安全評価のためのプロパティ駆動型ベンチマーク
  操作/安全性評価2026/5/1

  ロボット操作の安全性を時間的性質（例：汚染後の接触、完全な格納前の解放）に焦点を当てて評価するベンチマークを提案し、LTLfを用いて安全性を検証する。

• TRACE: 自動運転評価のためのCARLAにおける事故のトポロジー認識型再構築
  自動運転評価2026/4/1

  NHTSAの事故報告書を、道路トポロジーを保持した高忠実度CARLAシミュレーションに自動再構築するパイプラインを提案し、52の多様な事故シナリオのベンチマークを構築した。

• STADA: 自動運転エージェントのための仕様ベーステスト
  自動運転テスト2026/3/1

  自動運転エージェントの検証において、形式的仕様（LTLf）から体系的にテストシナリオを生成するフレームワークSTADAを提案し、既存手法より高いカバレッジを達成した。

• ロボティクスソフトウェア工学の未来研究方向：2023年ワークショップ報告
  ソフトウェア工学2024/1/1

  ロボットソフトウェア開発が抱える独自の課題を整理し、今後5年間で取り組むべき研究方向をコミュニティワークショップの議論からまとめた報告書。

• ロボットシステムの座標系を型検査するPhysFrame
  型検査/座標系2021/6/1

  ロボットシステムの座標系（フレーム）を変数の型として扱い、フレームの不整合や慣習違反を自動検出する型システムを提案し、180のROSプロジェクトで評価した。

• ベイズ推論による確率的条件付きシステム不変条件の生成
  ロボット検証2020/12/1

  移動ロボットの実行トレースから、状態に依存する確率的な不変条件をベイズ推論で自動生成し、驚き度と情報量でランク付けする手法を提案した論文。