Daniele Meli, Giulio Mazzi, Alberto Castellini, Alessandro Farinelli. From POMDP Executions to Probabilistic Axioms. In Luca Geatti, Guido Sciavicco, Alessandro Umbrico, editors, Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), Udine, Italy, November 28, 2022. Volume 3311 of CEUR Workshop Proceedings, pages 93-98, CEUR-WS.org, 2022. [doi]
@inproceedings{MeliMCF22,
title = {From POMDP Executions to Probabilistic Axioms},
author = {Daniele Meli and Giulio Mazzi and Alberto Castellini and Alessandro Farinelli},
year = {2022},
url = {http://ceur-ws.org/Vol-3311/paper15.pdf},
researchr = {https://researchr.org/publication/MeliMCF22},
cites = {0},
citedby = {0},
pages = {93-98},
booktitle = {Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), Udine, Italy, November 28, 2022},
editor = {Luca Geatti and Guido Sciavicco and Alessandro Umbrico},
volume = {3311},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}