Chairs: C. Cirstea, F. Gadducci, H. Schlingloff Past Chairmen: M. Roggenbach, L. Schröder, T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski
Mon, 09 January 2017 at 05:00 pm in Binz (Rügen), Germany
Joint work with: Filippo Bonchi and Alexandra Silva
Abstract: In several papers in the last several years, the semantics of probabilistic automata is expressed via transformers of belief states, which are probability distributions over original states. In this work, we provide the necessary abstract theory to explain the involved transformations. We unravel the true nature of probabilistic automata as coalgebras over (convex) algebras. Convex algebras are the Eilenberg-Moore algebras of the distribution monad. We construct suitable functors over the category EM(D) of Eilenberg-Moore algebras of the distribution monad, among which a convex-powerset functor (monad), the constant exponent functor, and two ways of a lift functor (monad).
Slides