Pokud autonomní vozidla dokážou do roku 2035 skutečně snížit počet dopravních zranění, je to obrovské. Ale bezpečnostně kritická autonomie vyžaduje důkazy, nikoli sliby. Proto se Inference Labs zaměřuje na ověřitelné inference systémů, které fungují v reálném světě.