This sounds like a great premise for a video game not unlike Crazy Taxi, but from the perspective of a highway trooper who needs to chase buggy autonomous cabs.
"I'm sorry Dave, I'm afraid I can't do that" is the actual quote from 2001: A Space Odyssey (1968).
I also love the scene where Dave takes Hal apart. We've always called the first computation the Macaulay computer algebra system completed "Hal's Song".