Hanna Krasowski, Prithvi Akella, Aaron D. Ames, Matthias Althoff: Safe Reinforcement Learning with Probabilistic Guarantees Satisfying Temporal Logic Specifications in Continuous Action Spaces. CDC 2023: 4372-4378