5 citations · 16 across the 6 of their papers we have counts for
1 paper · 2 filters
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…