Summary: This post talks about the “bigger picture” of autonomous robot verification (beyond basic CDV stuff). It mainly discusses the challenges, not the solutions. I am in the process of creating a minimal CDV-based verification framework for autonomous robots. This framework will simply do the usual CDV stuff (constraint-based generation, checking, coverage etc.) with minimal … More The bigger picture of verifying autonomous robots