Formal Methods

Life is Random, Time is Not: Markov Decision Processes with Window Objectives
Simple Strategies in Multi-Objective MDPs
Life Is Random, Time Is Not: Markov Decision Processes with Window Objectives