Verification of Discrete-Time Markov Decision Processes

Weitere Titel
Verifikation von Markov Entscheidungsprozessen in Diskreter Zeit
Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
München, Technische Universität München, Dissertation, 2021

Schlagwort
Decision making
Time

Ereignis
Veröffentlichung
(wo)
München
(wer)
Universitätsbibliothek der TU München
(wann)
2021
Urheber
Meggendorfer, Tobias
Beteiligte Personen und Organisationen
Křetínský, Jan
Baier, Christel

URN
urn:nbn:de:bvb:91-diss-20210226-1550256-1-5
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
14.08.2025, 10:45 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

  • Meggendorfer, Tobias
  • Křetínský, Jan
  • Baier, Christel
  • Universitätsbibliothek der TU München

Entstanden

  • 2021

Ähnliche Objekte (12)