01:27:45
publiée le 26 mai 2026
Applicative bisimulation for higher-order probabilistic languages
De Raphaëlle Crubillé
01:24:49
publiée le 26 mai 2026
Algorithmic foundations for exact discrete probabilistic reasoning
De Steven Holtzen
01:26:21
publiée le 26 mai 2026
Ensuring correctness of probabilistic inference by static analysis
De Xavier Rival