Life is Random, Time is Not: Markov Decision Processes with Window Objectives (Logical Methods in Computer Science, 2020)