Intel предложила математическую модель безопасности автопилота