Toward the Design of Robotic Software with Verifiable Safety

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

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, July 20-24, 2009. Volume 1, pp. 622–623

2009 · doi: 10.1109/COMPSAC.2009.89

url: http://dx.doi.org/10.1109/COMPSAC.2009.89