7 citations · 15 across the 3 of their papers we have counts for
1 paper · 1 filter
David Hardin, Konrad Slind
Verification of algorithms and data structures utilized in modern autonomous and semi-autonomous vehicles for land, sea, air, and space presents a significant challenge. Autonomy a…