Verifying Learning-Based Robotic Navigation Systems

Guy Amir, Davide Corsi, Raz Yerushalmi +4

Deep reinforcement learning (DRL) has become a dominant deep-learning paradigm for tasks where complex policies are learned within reactive systems. Unfortunately, these policies a…