MAZZI, GIULIO
MAZZI, GIULIO
DIPARTIMENTO DI INFORMATICA
Active Generation of Logical Rules for POMCP Shielding
2022-01-01 Mazzi, G.; Castellini, A.; Farinelli, A.
Explaining the influence of prior knowledge on POMCP policies
2021-01-01 Castellini, A.; Marchesini, E.; Mazzi, G.; Farinelli, A.
From POMDP executions to policy specifications
2022-01-01 Meli, Daniele; Mazzi, Giulio; Castellini, Alberto; Farinelli, Alessandro
Identification of unexpected decisions in Partially Observable Monte Carlo Planning: a rule-based approach
2021-01-01 Mazzi, G.; Castellini, A.; Farinelli, A.
Learning logic specifications for soft policy guidance in POMCP
2023-01-01 Mazzi, Giulio; Meli, Daniele; Castellini, Alberto; Farinelli, Alessandro
Policy Interpretation for Partially Observable Monte-Carlo Planning: A Rule-Based Approach
2021-01-01 Mazzi, G.; Castellini, A.; Farinelli, A.
Risk-aware shielding of Partially Observable Monte Carlo Planning policies
2023-01-01 Mazzi, Giulio; Castellini, Alberto; Farinelli, Alessandro
Rule-Based Policy Interpretation and Shielding for Partially Observable Monte Carlo Planning
2022-01-01 Mazzi, Giulio; Castellini, Alberto; Farinelli, Alessandro
Rule-based Shield Synthesis for Partially Observable Monte Carlo Planning
2021-01-01 Mazzi, Giulio; Castellini, Alberto; Farinelli, Alessandro
Rule-based shielding for Partially Observable Monte-Carlo Planning
2021-01-01 Mazzi, Giulio; Castellini, Alberto; Farinelli, Alessandro
The Eos SMT/SMA-solver: a preliminary report
2019-01-01 Bonacina, Maria Paola; Mazzi, Giulio
| 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 |