Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles

@inproceedings{selfdrivingvehicles-isola2020,
   apice = {AutonomyIsola2020},
   author = {Mariani, Stefano and Franco Zambonelli},
   booktitle = {9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2020)},
   doi = {10.1007/978-3-030-61470-6_12},
   journal = {Proceedings of the 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2020)},
   keywords = {Self-driving vehicles, Coordination, Autonomy, Intersection Crossing},
   title = {Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles},
   url = {http://doi-org-443.webvpn.fjmu.edu.cn/10.1007/978-3-030-61470-6_12},
   venue = {9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2020)},
   year = 2020
}