Policy-Guided finding logic bugs and fixing them for Robotic Vehicles

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.