@inproceedings{Mazzi_OVERLAY_2021,
author = {Giulio Mazzi and Alberto Castellini and Alessandro Farinelli},
title = {Rule-based Shield Synthesis for {P}artially {O}bservable {M}onte {C}arlo {P}lanning},
booktitle = {Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY 2021), Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021)},
series = {{CEUR} Workshop Proceedings},
volume = {2987},
pages = {19-23},
publisher = {CEUR-WS.org},
year = {2021}
}