A formal methods approach to interpretable reinforcement learning for robotic planning Xiao Li, Zachary Serlin, Guang Yang and Calin Belta Published on: Mar 30, 2021 Learning and Planning