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?
It seems like ML is statistically safe for everyone else, until that moment when you become the “statistic”.
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?