OpenSCENARIO 2 声明式场景执行与约束求解引擎

完全符合 ASAM OpenSCENARIO 2 标准的领域专用语言 (DSL) 执行内核,在大规模并行算力集群中高效解算交通参与者复杂约束行为逻辑与多主体协同机动动作。

基于约束满足问题 (CSP) 的微观交通参与者求解器

基于可满足性模理论 (SMT) 的求解器后端,可将高层抽象的场景语义意图在毫秒内编译解算为微观物理可行的平滑加速度轨迹。

浏览域名资产