Evaluating the Safety of Deep Reinforcement Learning Models using Semi-Formal Verification

Davide Corsi, Enrico Marchesini, Alessandro Farinelli

Groundbreaking successes have been achieved by Deep Reinforcement Learning (DRL) in solving practical decision-making problems. Robotics, in particular, can involve high-cost hardw…