Wathugala, Wathugala Gamage Dulan Manujinda
(University of Oregon, 2017-06)
Ensuring algorithms work accurately is crucial, especially when they drive
safety critical systems like self-driving cars.
We formally model a published distributed algorithm for autonomous
vehicles to collaborate and ...