sentence1: markov decision processes are the de facto model for analysis of probabilistic systems with non-determinism .
sentence2: markov decision processes are rich models that exhibit both nondeterministic choices and stochastic transitions .