TY  - RPRT
TI  - Certified Reinforcement Learning with Logic Guidance
AU  - Hosein Hasanbeig
AU  - Daniel Kroening
AU  - Alessandro Abate
PY  - 2023
UR  - https://arxiv.org/abs/1902.00778
ID  - 1902.00778
ER  -