Intel y Mobileye crean f贸rmula para demostrar la seguridad de los veh铆culos aut贸nomos

La soluci贸n proporciona una f贸rmula formal y matem谩tica para asegurar que los veh铆culos de conducci贸n aut贸noma pueden funcionar de manera responsable y que no causan accidentes por los que pueden ser culpabilizados.