Als autonome voertuigen de verkeersverwondingen tegen 2035 aanzienlijk kunnen verminderen, is dat enorm. Maar veiligheid-kritische autonomie vereist bewijs, geen beloftes. Dit is waarom Inference Labs zich richt op verifieerbare inferentie voor systemen die in de echte wereld opereren.