Runtime de Ejecución Declarativa OpenSCENARIO 2
Motor DSL compatible con ASAM OpenSCENARIO 2 que ejecuta comportamientos de tráfico basados en restricciones a gran escala.
Solucionadores de Actores por Satisfacción de Restricciones
Backends SMT compilan intenciones abstractas en perfiles de aceleración concretos y físicamente plausibles.
- Compliant with ASAM OpenSCENARIO 2.0 language specifications.
- Deterministic pseudo-random seed guarantees 100% reproducible results.
- Support for complex urban roundabouts, highway merges, and jaywalkers.
- Native coupling with vehicle-under-test (VUT) control APIs.
Explorar Portafolio de Dominios