News and Events: Upcoming Events

Please note that this newsitem has been archived, and may contain outdated information or links.

21 May 2013, Stone Duality for Markov Processes, Prakash Panangaden

Speaker: Prakash Panangaden
Date: Tuesday 21 May 2013
Time: 13:30 - 14:30
Location: HG00.303 (Huygensgebouw, Heyendaalseweg 135), Nijmegen

We define Aumann algebras, an algebraic analog of probabilistic modal logic. An Aumann algebra consists of a Boolean algebra with operators modeling probabilistic transitions. We prove a Stone-type duality theorem between countable Aumann algebras and countably-generated continuous-space Markov processes. Our results subsume existing results on completeness of probabilistic modal logics for Markov processes.
(This is joint work with: Dexter Kozen, Kim Larsen and Radu Mardare)

For more information, see http://www.cs.mcgill.ca/~prakash/ or contact

Please note that this newsitem has been archived, and may contain outdated information or links.