Safety and Progress Proofs of a Reactive Autonomous Racing Algorithm.

Abolfazl Karimi, Manish Goyal, Parasara Sridhar Duggirala

Browse the full MEMOCODE paper archive.