A formal methods approach to interpretable reinforcement learning for robotic planning Xiao Li, Zachary Serlin, Guang Yang and Calin Belta Published: 2021-03-30 13:00:00 -0400 Venue: Science Robotics View Paper Learning and Planning