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.

Publications

People

Hyungsub Kim
Hyungsub Kim
Assistant Professor at the Indiana University Bloomington
Ozgur Ozmen
Ozgur Ozmen
Assistant Professor at Arizona State University