Stochastic Coalgebraic Logic by Ernst-Erich Doberkat