Verification of discrete-time markov decision processes

Dissertation, Technische Universität München, 2021

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Meggendorfer, Tobias (VerfasserIn)
Weitere Verfasser:	Křetínský, Jan (AkademischeR BetreuerIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	München 2021
Schlagworte:	Hochschulschrift
Online Zugang:	Volltext Full Text
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!