Experiences in Applying Formal Verification in Robotics.

Dennis Walter Holger Täubig Christoph Lüth

Published in: SAFECOMP (2010)

Keyphrases

formal verification
model checking
model checker
automated verification
artificial intelligence
bounded model checking
symbolic model checking
computer vision
case study
program slicing
functional verification
knowledge base