@inproceedings{Meli_OVERLAY_2022,
author = {Daniele Meli and Giulio Mazzi and Alberto Castellini and Alessandro Farinelli},
title = {From {POMDP} executions to policy specifications},
booktitle = {Proceedings of the 4rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY 2022), International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022)},
series = {{CEUR} Workshop Proceedings},
volume = {3311},
pages = {93-98},
publisher = {CEUR-WS.org},
year = {2022}
}