Towards Verified Self-Driving Infrastructure

Bingzhe Liu, Ali Kheradmand, Matthew Caesar, Philip Brighten Godfrey. Towards Verified Self-Driving Infrastructure. In Ben Zhao, Heather Zheng, Harsha V. Madhyastha, Venkat N. Padmanabhan, editors, HotNets '20: The 19th ACM Workshop on Hot Topics in Networks, Virtual Event, USA, November 4-6, 2020. pages 96-102, ACM, 2020. [doi]

Abstract

Abstract is missing.