Robotic vehicles (RVs) are becoming essential tools of modern systems. Despite their diverse deployment, safety and security issues with RVs limit their wide adoption. To tackle this problem, we are developing a framework to find logic bugs in RVs and fix them automatically.