Prakash Panangaden: Projective limits of Markov processes

(1:16:27)

Prakash Panangaden: Approximating probabilistic bisimulation via conditional expectation

(53:21)

Prakash Panangaden: \

(1:6:31)

Prakash Panangaden --- Quantitative Equational Logic

(59:6)

Prakash Panangaden: \

(58:38)

Prakash Panangaden: \

(1:19:8)

Prakash Panangaden - Quantitative Equational Reasoning

(1:24:21)

Analysis of Probabilistic Systems I

(53:11)

Prakash Panangaden: \

(1:18:37)

Prakash Panangaden: \

(49:37)

Prakash Panangaden: \

(56:27)

Prakash Panangaden: \

(59:5)

Bas Spitters: Synthetic topology in Homotopy Type Theory for probabilistic programming

(45:35)

Semantics for Physicists

(31:42)

Strachey Lecture: From probabilistic bisimulation to representation learning via metrics

(55:4)

Analysis of Probabilistic Systems IV

(1:16)

Analysis of Probabilistic Systems II

(1:6:15)

Analysis of Probabilistic Systems V

(59:25)

Analysis of Probabilistic Systems III

(59:59)