Title: Stochastische Zustandsübergangsmodelle und strategisierte formale Systeme
Subjects: Stochastic processes, Markov processes