8 ms·

Seems like a dumb approach that only marketing would come up with. The challenge is SDC is AI, not correctness of the kernel that the AI stack runs on. Is an S

Seems like a dumb approach that only marketing would come up with. The challenge is SDC is AI, not correctness of the kernel that the AI stack runs on. Is an SDC based on a formally verified OS but using logistic regression safe?

aidenn0 6y ago
It's at least safe from someone hacking into it and intentionally (or accidentally) causing harm.
moonchild 6y ago
A verifiably correct kernel is a necessary, but not sufficient condition for a self-driving vehicle to be trustworthy.