Brihaye, T., Delgrange, F., Oualhadj, Y., Randour, M., 2019. Life is Random, Time is Not: Markov Decision Processes with Window Objectives.. https://doi.org/10.23638/lmcs-16(4:13)2020