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

Brihaye, Thomas; Delgrange, Florent; Oualhadj, Youssouf; Randour, Mickael (Corresponding author)

Braunschweig : Department of Theoretical Computer Science, Technical University of Braunschweig (2020)
Journal Article

In: Logical methods in computer science : LMCS
Volume: 16
Issue: 4
Page(s)/Article-Nr.: 13


  • Department of Computer Science [120000]
  • Chair of Computer Science 2 (Software Modeling and Verification) [121310]