Searched for: subject:"Graph%5C+algorithms"
(1 - 2 of 2)
document
Paardekooper, J.P. (author), Comi, M. (author), Grappiolo, C. (author), Snijders, R. (author), van Vught, W. (author), Beekelaar, R. (author)
An increasing number of tasks is being taken over from the human driver as automated driving technology is developed. Accidents have been reported in situations where the automated driving technology was not able to function according to specifications. As data-driven Artificial Intelligence (AI) systems are becoming more ubiquitous in automated...
conference paper 2021
document
Safari, M. (author), Oortwijn, W. (author), Huisman, M. (author)
Many real-world problems such as internet routing are actually graph problems. To develop efficient solutions to such problems, more and more parallel graph algorithms are proposed. This paper discusses the mechanized verification of a commonly used parallel graph algorithm, namely the Bellman–Ford algorithm, which provides an inherently...
conference paper 2021