TY - RPRT TI - Learning Logic Specifications for Soft Policy Guidance in POMCP AU - Giulio Mazzi AU - Daniele Meli AU - Alberto Castellini AU - Alessandro Farinelli PY - 2023 UR - https://arxiv.org/abs/2303.09172 ID - 2303.09172 ER -