Robust Reinforcement Learning for Linear Temporal Logic Specifications with Finite Trajectory Duration. - Soroush Mortazavi Moghaddam; Yash Vardhan Pant; Sebastian Fischmeister (Canadian AI, 2024)