Gabriele

RL, neuro-symbolic, decision-making under uncertainty, probabilistic circuits, temporal logic, SAT-solving.