Runtime d'Exécution Déclaratif OpenSCENARIO 2

Moteur DSL conforme ASAM OpenSCENARIO 2 exécutant des comportements de trafic sous contraintes et des manœuvres dynamiques à grande échelle.

Solveurs d'Acteurs par Satisfaction de Contraintes

Des backends SMT compilent les intentions de scénario en profils d'accélération concrets et physiquement réalistes.

Explorer le portefeuille de domaines