3 ms·
A verifiably correct kernel is a necessary, but not sufficient condition for a self-driving vehicle to be trustworthy.
by moonchild 6y ago
A verifiably correct kernel is a necessary, but not sufficient condition for a self-driving vehicle to be trustworthy.