Experiences in Applying Formal Verification in Robotics

@inproceedings{pub4973,
    author = {

Walter, Dennis
 and 

Täubig, Holger
 and 

Lüth, Christoph
},
    title = {Experiences in Applying Formal Verification in Robotics},
    booktitle = {SafeComp 2010 --- 29th International Conference on Computer Safety, Reliability and Security, Proceedings. International Conference on Computer Safety, Reliability and Security (SAFEComp-2010), September 14-17, Vienna, Austria},
    series = {Lecture Notes in Computer Science (LNCS)},
    year = {2010},
    volume = {6351},
    pages = {347--360},
    publisher = {Springer}
}