TY  - RPRT
TI  - Guiding Safe Exploration with Weakest Preconditions
AU  - Greg Anderson
AU  - Swarat Chaudhuri
AU  - Isil Dillig
PY  - 2023
UR  - https://arxiv.org/abs/2209.14148
ID  - 2209.14148
ER  -