Toward the Design of Robotic Software with Verifiable Safety

Chih-Hong Cheng , Markus Rickert , Christian Buckl , Edward A. Lee und 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