TY  - RPRT
TI  - Safe Reinforcement Learning with Probabilistic Guarantees Satisfying Temporal Logic Specifications in Continuous Action Spaces
AU  - Hanna Krasowski
AU  - Prithvi Akella
AU  - Aaron D. Ames
AU  - Matthias Althoff
PY  - 2023
UR  - https://arxiv.org/abs/2212.06129
ID  - 2212.06129
ER  -