Sign in
PGPatch: Policy-Guided Logic Bug Patching for Robotic Vehicles.
Hyungsub Kim
Muslum Ozgur Ozmen
Z. Berkay Celik
Antonio Bianchi
Dongyan Xu
Published in:
IEEE Symposium on Security and Privacy (2022)
Keyphrases
</>
real time
transport systems
software systems
mobile robot
optimal policy
source code
modal logic
traffic flow
vehicle detection
logic programming
robotic systems
multi valued
classical logic
action selection
path planning
automated reasoning
policy makers
predicate logic
traffic scenes
proof theory