Prakash Panangaden: Projective limits of Markov processes

(1:16:27)

Prakash Panangaden: \

(1:6:31)

Prakash Panangaden --- Quantitative Equational Logic

(59:6)

Prakash Panangaden: \

(58:38)

Prakash Panangaden: Approximating probabilistic bisimulation via conditional expectation

(53:21)

Prakash Panangaden: \

(1:19:8)

Analysis of Probabilistic Systems I

(53:11)

Prakash Panangaden: \

(56:27)

Prakash Panangaden - Quantitative Equational Reasoning

(1:24:21)

Prakash Panangaden: \

(49:37)

Prakash Panangaden: \

(59:5)

Prakash Panangaden: \

(1:18:37)

Analysis of Probabilistic Systems IV

(1:16)

Strachey Lecture: From probabilistic bisimulation to representation learning via metrics

(55:4)

Analysis of Probabilistic Systems II

(1:6:15)

Semantics for Physicists

(31:42)

Analysis of Probabilistic Systems V

(59:25)

Dr. V. Prakash

(2:18)

Mike Mislove: \

(40:44)