BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260726T073824Z
UID:Seminar-dept-1034@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Lutz Oettershagen:MAILTO:Lutz.Oettershagen@liverpool.ac.uk
DTSTART:20230217T130000
DTEND:20230217T140000
SUMMARY:School Seminar Series
DESCRIPTION:Dr. Qiyi Tang: Comparison and analysis of probabilistic systems\n\nGiven a model of computation (e.g., finite automata), and two instances of it, are they semantically equivalent (e.g., do the automata accept the same language)? Such equivalence problems can be viewed as a fundamental question for almost any model of computation. In this talk, we try to answer the fundamental questions for some probabilistic models (Markov chains and Markov decision processes).\n\n\n\nWe focus on probabilistic bisimilarity, the most prominent notion of behavioural equivalence. We will then have a look at a more robust notion of probabilistic bisimilarity distance, a quantitative generalisation of probabilistic bisimilarity.\n\n\n\nWe show the following:\n\n\n\n• For labelled Markov chains, the development of algorithms to compute probabilistic bisimilarity distance.\n\n\n\n• Policy iteration algorithm can be applied to compute the probabilistic bisimilarity distances for labelled Markov chains. In particular, simple policy iteration algorithm takes exponential time in the worst case.\n\n\n\n• Comparison of Markov decision processes in terms of probabilistic bisimilarity.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=1034
LOCATION:Ashton Lecture Theatre
END:VEVENT
END:VCALENDAR