Modeling and Checking Robustness of Communicating Autonomous Vehicles

Advances in Intelligent Systems and Computing - Germany

doi 10.1007/978-3-319-62410-5_21