> Creating a self driving car which can navigate a dark, rainy parking lot is something we do not know how. Not even in theory.
I do not recognise the reality you are in.
Navigating dark and rainy parking lots is not hard. At all. Not hard in theory, and not hard in practice either.
We have lidars which work very well in rain. We have cameras with excellent dynamic range. Parking lots are slow environments where everyone moves slowly and you are generally allowed to stop if you are suddenly spooked or need a bit more time to check things.
There are hard problems about self driving cars, but dark and rainy parking lots are not the stumbling block.
Where do you even get this idea?
Let me tell you two harder things about self driving cars: "How many nines do you want in your certainty that the car won't hit anyone?" and "How do you want that proven? With stats or with fault tree analysis, or a mix of both?"