Runtime di Esecuzione Dichiarativa OpenSCENARIO 2

Motore DSL conforme ad ASAM OpenSCENARIO 2 per eseguire comportamenti del traffico a vincoli e manovre dinamiche su larga scala.

Solutori di Attori a Soddisfacimento di Vincoli

Backend SMT compilano gli intenti astratti degli scenari in profili di accelerazione concreti e fisicamente coerenti.

Esplora il portafoglio di domini