Serena S. Serbinowska
収録論文 3本 ・ フィジカルAI/ロボット学習
ビヘイビアツリー検証/ビヘイビアツリー
※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。
論文
- 状態を持つビヘイビアツリーの形式化ビヘイビアツリー2024/11/1
補助変数と共有メモリを持つ状態付きビヘイビアツリーを形式化し、計算能力を解析するとともに、DSLと検証ツールBehaVerifyを開発した。
- 偶発性モニタ付きビヘイビアツリーの検証検証/ビヘイビアツリー2024/11/1
ビヘイビアツリー(BT)向けのランタイムモニタを生成する新手法を提案し、LTL仕様に対応したモニタで望ましくない動作を検知・修正できるようにした。既存ツールと同等の実行速度を保ちつつ、モニタの差し替えが容易で、既存のBehaVerifyと連携して検証可能であることを示した。
- BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees2022/8/1