Oumaima Barhoumi

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

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

論文

• バリア証明を用いた自動運転車の形式的な安全保証
  自動運転/安全検証2026/1/1

  バリア証明と解釈可能な衝突指標（TTC）を組み合わせ、SMTソルバで安全性を検証する適応制御を提案。実データで危険な相互作用を最大40%削減した。