Is this a problem that needs solving? Would you be comfortable dying in a car crash where it's due to faulty software? What if you replace the humans with machines and after that as a result of a bug you get 200k deaths in a year?
that's like asking "do you trust a spreadsheet where the math is done by a computer and not verified by a human".
At some point in history... the answer would be "no way I'd trust numbers not checked by a human".
Today? It's easy to say we can trust software produced numbers.
The question becomes what is that cross over point?
Are you saying you don't think we'll get to a point where computers drive better than humans? I think we're closer to that point than you think and with defensive programming we can do so safely.