PGPatch: Policy-Guided Logic Bug Patching for Robotic Vehicles. - Kim, Hyungsub; Ozmen, Muslum Ozgur; Celik, Z. Berkay; Bianchi, Antonio; Xu, Dongyan (2022)