MAZZI, GIULIO

MAZZI, GIULIO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.015 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.
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