Dennis Walter, Holger Täubig, Christoph Lüth. Experiences in Applying Formal Verification in Robotics. In Erwin Schoitsch, editor, Computer Safety, Reliability, and Security, 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings. Volume 6351 of Lecture Notes in Computer Science, pages 347-360, Springer, 2010. [doi]
Abstract is missing.