Proving the correctness of concurrent robot software.

Peter Kazanzides, Yanni Kouskoulas, Anton Deguet, Zhong Shao

Browse the full ICRA paper archive.