Learning logic specifications for soft policy guidance in POMCP G Mazzi, D Meli, A Castellini, A Farinelli arXiv preprint arXiv:2303.09172, 2023 | 21 | 2023 |
Rule-based shielding for partially observable Monte-Carlo planning G Mazzi, A Castellini, A Farinelli Proceedings of the international conference on automated planning and …, 2021 | 18 | 2021 |
Risk-aware shielding of partially observable monte carlo planning policies G Mazzi, A Castellini, A Farinelli Artificial Intelligence 324, 103987, 2023 | 15 | 2023 |
Identification of unexpected decisions in partially observable monte-carlo planning: A rule-based approach G Mazzi, A Castellini, A Farinelli arXiv preprint arXiv:2012.12732, 2020 | 14 | 2020 |
Explaining the influence of prior knowledge on POMCP policies A Castellini, E Marchesini, G Mazzi, A Farinelli Multi-Agent Systems and Agreement Technologies: 17th European Conference …, 2020 | 12 | 2020 |
Policy Interpretation for Partially Observable Monte-Carlo Planning: a Rule-based Approach. G Mazzi, A Castellini, A Farinelli AIRO@ AI* IA, 44-48, 2020 | 7 | 2020 |
Active generation of logical rules for POMCP shielding G Mazzi, A Castellini, A Farinelli Proc. of the 21st International Conference on Autonomous Agents and …, 2022 | 3 | 2022 |
The Eos SMT/SMA-solver: a preliminary report MP Bonacina, G Mazzi Proceedings of the Seventeenth International Workshop on Satisfiability …, 2019 | 1 | 2019 |
From POMDP Executions to Probabilistic Axioms. D Meli, G Mazzi, A Castellini, A Farinelli | | 2024 |
From POMDP executions to policy specifications D Meli, G Mazzi, A Castellini, A Farinelli CEUR WORKSHOP PROCEEDINGS 3311, 93-98, 2022 | | 2022 |
Rule-Based Policy Interpretation and Shielding for Partially Observable Monte Carlo Planning G Mazzi, A Castellini, A Farinelli | | 2022 |
Rule-based Shield Synthesis for Partially Observable Monte Carlo Planning G Mazzi, A Castellini, A Farinelli CEUR WORKSHOP PROCEEDINGS 2987, 19-23, 2021 | | 2021 |