[PPT] - Basing Markov Transition Systems on the Giry Monad Smooth Equiva- PowerPoint Presentation