Preston Robinette

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

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

論文

• 状態を持つビヘイビアツリーの形式化
  ビヘイビアツリー2024/11/1

  補助変数と共有メモリを持つ状態付きビヘイビアツリーを形式化し、計算能力を解析するとともに、DSLと検証ツールBehaVerifyを開発した。

• An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles
  2022/5/1