4 ms·Using online verification to prevent autonomous vehicles from causing accidents1 points by coolvision 6y ago