A formal methods approach to interpretable reinforcement learning for robotic planning
Li, Xiao, Serlin, Zachary, Yang, Guang, Belta, CalinVolume:
4
Journal:
Science Robotics
DOI:
10.1126/scirobotics.aay6276
Date:
December, 2019
File:
PDF, 1.88 MB
2019