Декларативная среда выполнения OpenSCENARIO 2

DSL-движок, совместимый с ASAM OpenSCENARIO 2, для моделирования поведения участников движения на основе ограничений.

Сольверы участников движения на основе ограничений (CSP)

Бэкенды SMT компилируют абстрактные сценарии в конкретные и физически правдоподобные профили ускорения.

Исследовать портфель доменов