Om autonoma fordon kan minska trafikskador avsevärt till 2035 är det enormt. Men säkerhetskritisk autonomi kräver bevis, inte löften. Det är därför Inference Labs fokuserar på verifierbar inferens för system som fungerar i verkliga världen.