Верификация траекторий и команд агентов на соответствие неизменным математическим ограничениям за доли миллисекунды с мгновенным переключением на жесткие правила.
Решатель SMT работает параллельно с модулями логического вывода ИИ, контролируя, чтобы скорость, угол поворота руля и тормозные усилия не выходили за пределы эллипса сцепления шин.
При обнаружении неоднозначных, противоречивых или запоздалых ответов агента исполнительный механизм сбрасывает запрос менее чем за 500 мкс и передает управление проверенным контроллерам AUTOSAR.