Hvis autonome kjøretøy kan redusere trafikkskader betydelig innen 2035, er det enormt. Men sikkerhetskritisk autonomi krever bevis, ikke løfter. Derfor fokuserer Inference Labs på verifiserbar slutning for systemer som opererer i den virkelige verden.