Toward the Design of Robotic Software with Verifiable Safety.

Chih-Hong Cheng, Markus Rickert, Christian Buckl, Edward A. Lee, Alois C. Knoll

Browse the full COMPSAC paper archive.