LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning - Citation Graph | Papersgraph