TY  - RPRT
TI  - LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning
AU  - Hosein Hasanbeig
AU  - Daniel Kroening
AU  - Alessandro Abate
PY  - 2022
UR  - https://arxiv.org/abs/2209.10341
ID  - 2209.10341
ER  -