Guest Talk at UnRAVeL: Gabriele Venturato, KU Leuven, “Towards Tractable Dynamic Decision Making With Circuits”