Towards Verified Self-Driving Infrastructure.

Bingzhe Liu, Ali Kheradmand, Matthew Caesar, Philip Brighten Godfrey

Browse the full HOTNETS paper archive.