Window Mean Payoff

Life is Random, Time is Not: Markov Decision Processes with Window Objectives