Andoni Rodriguez

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

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

論文

• パラメトリック安全仕様に対する効率的な動的シールド
  安全制御2025/5/1

  パラメータで表される安全仕様の集合に対し、実行時に仕様が変化しても再計算不要で適応できる動的シールドを提案し、未知環境のロボットナビゲーションで有効性を示した。

• LTLモジュロ理論のためのシールド合成
  安全保証2024/6/1

  機械学習モデルの安全な動作を保証するシールドを、命題論理より表現力の高いLTLモジュロ理論に拡張し、複雑な安全仕様に対応できる合成手法を提案した。