Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles
ACM Digital Library