OpenSCENARIO 2宣言型シナリオ実行ランタイム

ASAM OpenSCENARIO 2完全準拠のDSLエンジンにより、制約ベースの交通エージェント挙動や動的機動を大規模かつ確定的に実行。

制約充足問題(CSP)に基づく交通アクターソルバー

SMT(Satisfiability Modulo Theories)ソルバーが、抽象的なシナリオ記述を物理的に実現可能な加減速プロファイルへと高速コンパイルします。

ドメインポートフォリオを見る