時空間論理によるニューロシンボリックシナリオ生成の誘導
Guiding Neuro-Symbolic Scenario Generation with Spatio-Temporal Logic
自動運転の安全性評価のため、時空間論理仕様を満たす重要シナリオを拡散モデルで生成するフレームワークSTRELGenを提案。
詳しい要約
1. どんなもの？
2. 先行研究と比べてどこがすごい？
3. 技術・手法の肝は？
4. どうやって有効だと検証した？
5. 議論はある？
6. 次に読むべき論文は？
※ AIが要旨から生成した要約です。正確性は原文をご確認ください。
著者: Lorenzo Bonin, Francesco Giacomarra, Luca Bortolussi, Jyotirmoy V. Deshmukh, Francesca Cairoli
分類: cs.RO, cs.LG
原文アブストラクト
The rapid advancement of autonomous driving (AD) technologies has outpaced the development of robust safety evaluation methods. Conventional testing relies on exposing AD systems to vast numbers of real-world traffic scenes -- a brute-force approach that is prohibitively expensive and statistically ineffective at capturing the rare, safety-critical edge cases essential for validating real-world robustness. To address this fundamental limitation, we introduce STRELGen, a scalable framework for the targeted generation of safety-critical driving scenarios. STRELGen synergistically combines a multi-agent trajectory-generation diffusion model (DM) with Spatio-Temporal Logic (STREL) specifications that encode complex safety and realism properties through a highly interpretable formalism. Crucially, monitoring satisfaction levels of these specifications is differentiable, enabling gradient-based search. At inference time, we optimize directly over the DM latent space to maximize STREL formula satisfaction. The result is efficient generation of highly plausible yet safety-critical multi-agent scenarios that lie within the learned data distribution. STRELGen thus provides a flexible, interpretable, and powerful tool for stress-testing autonomous driving systems, moving beyond the limitations of brute-force data collection.
関連論文
- 衝突スナップショット誘導による時間反転型安全臨界シナリオ生成自動運転/シナリオ生成
- CrashDiffuser: VLMガイドによる衝突意図推論を用いた高精度な安全臨界交通シナリオ生成自動運転/シナリオ生成
- Chat2Scenic: 自動運転シナリオ生成のための反復RAGベースフレームワーク自動運転/シナリオ生成
- RiskFlow: 高速かつ忠実な安全臨界交通シナリオ生成自動運転/シナリオ生成
- ラウンドアバウトにおける相互作用強度を調整可能なシナリオ生成自動運転/シナリオ生成
- 安全性重視の交通シナリオ生成のための条件付きフローマッチングVAE自動運転/シナリオ生成
