走行軌跡ログに摂動格子を適用することで、人手によるアノテーションなしに高密度な安全性検証スイートを自動生成する手法。
軌道摂動を到達可能集合内に厳格に収めることで、変異シナリオが摩擦や動力の物理的限界を超えないことを数学的に保証します。
ドメインポートフォリオを見る