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

URL DOI BibTeX Back