Mazzi, Giulio
45  results:
Search for persons X
?
2

Identification of Unexpected Decisions in Partially Observa..:

, In: Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems,
 
?
3

Explaining the Influence of Prior Knowledge on POMCP Polici..:

, In: Multi-Agent Systems and Agreement Technologies; Lecture Notes in Computer Science,
 
?
9

The Eos SMT/SMA-solver: a preliminary report:

Maria Paola Bonacina ; MAZZI, GIULIO
ispartofbook:Proceedings of the Seventeenth International Workshop on Satisfiability Modulo Theories.  , 2019
 
?
11

Learning logic specifications for soft policy guidance in P..:

Giulio Mazzi ; Daniele Meli ; Alberto Castellini.
info:eu-repo/semantics/altIdentifier/isbn/978-1-4503-9432-1.  , 2023
 
?
14

Rule-based Shield Synthesis for Partially Observable Monte ..:

Giulio Mazzi ; Alberto Castellini ; Alessandro Farinelli
ispartofbook:3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2021.  , 2021
 
?
15

Rule-based shielding for Partially Observable Monte-Carlo P..:

Giulio Mazzi ; Alberto Castellini ; Alessandro Farinelli
ispartofbook:Proceedings International Conference on Automated Planning and Scheduling, ICAPS.  , 2021
 
1-15