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]
Identifikationsnummern
- DOI: 10.23638/LMCS-16(4:13)2020
- DOI: 10.18154/RWTH-2021-01612
- RWTH PUBLICATIONS: RWTH-2021-01612