Using Taint Analysis and Reinforcement Learning (TARL) to Repair Autonomous Robot Software

D. M. Lyons, S. Zahra

It is important to be able to establish formal performance bounds for autonomous systems. However, formal verification techniques require a model of the environment in which the sy…