3 ms·
> And in general, they cannot engineer a formally-verified, fault-tolerant system Do any automobile manufacturers actually use formal verification? How do you
by wallacoloo 7y ago
> And in general, they cannot engineer a formally-verified, fault-tolerant system
Do any automobile manufacturers actually use formal verification? How do you even apply such techniques to things that leverage ML like Tesla’s autonomous driver?
- blackrock 7y agoML for automotive sounds like a disaster waiting to happen. It seems like ML is statistically safe for everyone else, until that moment when you become the “statistic”.