Controller Synthesis

Life is Random, Time is Not: Markov Decision Processes with Window Objectives
Thomas Brihaye, Florent Delgrange, Youssouf Oualhadj, Mickael Randour