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)
Fachzeitschriftenartikel

In: Logical methods in computer science : LMCS
Band: 16
Heft: 4
Seite(n)/Artikel-Nr.: 13

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]