Selection Theorems, Transition Probabilities and Stochastic Kripke models

07.04.2011 15:00 - 16:30

S. Srivastava (Indian Statistical Institute, Kolkata, IN)

We use measurable selection theorems to prove various results on transition probabilities over standard Borel spaces. We then show that logical equivalence, behavioral equivalence and bisimilarity are equivalent for stochastic Kripke models over standard Borel spaces.

Organiser:

KGRC

Location:
SR 101, 2. St., Währinger Str. 25