Valerie Richmond

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

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

論文

• 認証付き制御：自動運転車の検証可能な安全性のためのアーキテクチャ
  安全性検証2021/4/1

  複雑な知覚を検証する代わりに、制御器が安全性の証明書を生成し、小型で形式検証可能なランタイムモニタがそれを検査する新たな安全アーキテクチャを提案し、LiDARデータの証明書で実証した。