Jeśli autonomiczne pojazdy mogą znacząco zmniejszyć obrażenia na drogach do 2035 roku, to jest ogromne. Jednak autonomia krytyczna dla bezpieczeństwa wymaga dowodów, a nie obietnic. Dlatego Inference Labs koncentruje się na weryfikowalnym wnioskowaniu dla systemów działających w rzeczywistym świecie.