Jos autonomiset ajoneuvot voivat merkittävästi vähentää tieliikennevammoja vuoteen 2035 mennessä, se on valtava juttu. Mutta turvallisuuskriittinen autonomia vaatii todisteita, ei lupauksia. Tästä syystä Inference Labs keskittyy todennettavissa olevaan päättelyyn järjestelmissä, jotka toimivat todellisessa maailmassa.