MAZZI, GIULIO

MAZZI, GIULIO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 11 di 11 (tempo di esecuzione: 0.019 secondi).
Titolo Data di pubblicazione Autore(i) File
Active Generation of Logical Rules for POMCP Shielding 1-gen-2022 Mazzi, G.; Castellini, A.; Farinelli, A.
Explaining the influence of prior knowledge on POMCP policies 1-gen-2021 Castellini, A.; Marchesini, E.; Mazzi, G.; Farinelli, A.
From POMDP executions to policy specifications 1-gen-2022 Meli, Daniele; Mazzi, Giulio; Castellini, Alberto; Farinelli, Alessandro
Identification of unexpected decisions in Partially Observable Monte Carlo Planning: a rule-based approach 1-gen-2021 Mazzi, G.; Castellini, A.; Farinelli, A.
Learning logic specifications for soft policy guidance in POMCP 1-gen-2023 Mazzi, Giulio; Meli, Daniele; Castellini, Alberto; Farinelli, Alessandro
Policy Interpretation for Partially Observable Monte-Carlo Planning: A Rule-Based Approach 1-gen-2021 Mazzi, G.; Castellini, A.; Farinelli, A.
Risk-aware shielding of Partially Observable Monte Carlo Planning policies 1-gen-2023 Mazzi, Giulio; Castellini, Alberto; Farinelli, Alessandro
Rule-Based Policy Interpretation and Shielding for Partially Observable Monte Carlo Planning 1-gen-2022 Mazzi, Giulio; Castellini, Alberto; Farinelli, Alessandro
Rule-based Shield Synthesis for Partially Observable Monte Carlo Planning 1-gen-2021 Mazzi, Giulio; Castellini, Alberto; Farinelli, Alessandro
Rule-based shielding for Partially Observable Monte-Carlo Planning 1-gen-2021 Mazzi, Giulio; Castellini, Alberto; Farinelli, Alessandro
The Eos SMT/SMA-solver: a preliminary report 1-gen-2019 Bonacina, Maria Paola; Mazzi, Giulio