Sebastian Elbaum

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

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

論文

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

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

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

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

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

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

• Software Engineering for Robotics: Future Research Directions; Report from the 2023 Workshop on Software Engineering for Robotics
  2024/1/1
• PHYSFRAME: Type Checking Physical Frames of Reference for Robotic Systems
  2021/6/1
• Probabilistic Conditional System Invariant Generation with Bayesian Inference
  2020/12/1