The Halting problem: Video analysis of self-driving cars in traffic