[jhpriestley]

this is quite an academic exercise since a decade of intensive research hasn't brought us close to working self-driving cars, much less 1x safe self-driving cars, much less 5x safe, nor is there any clear path to resolving this open research problem.