Stochastic Coalgebraic Logic 2010