Engineering Collectives of Self-driving Vehicles: The SOTA Approach

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03424-5_6 ◽

2018 ◽

pp. 79-93 ◽

Cited By ~ 5

Author(s):

Dhaminda B. Abeywickrama ◽

Marco Mamei ◽

Franco Zambonelli

Download Full-text