- Weitere Titel
-
Vertrauenswürdiges Lösen von stochastischen Spielen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
München, Technische Universität München, Dissertation, 2022
- Schlagwort
-
Spieltheorie
Model Checking
Verifikation
Programmierung
- Ereignis
-
Veröffentlichung
- (wo)
-
München
- (wer)
-
Universitätsbibliothek der TU München
- (wann)
-
2022
- Urheber
-
Weininger, Maximilian Ph.
- Beteiligte Personen und Organisationen
-
Kretinsky, Jan
Raskin, Jean-Francois
- URN
-
urn:nbn:de:bvb:91-diss-20221118-1661588-1-0
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 11:01 MESZ
Datenpartner
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Weininger, Maximilian Ph.
- Kretinsky, Jan
- Raskin, Jean-Francois
- Universitätsbibliothek der TU München
Entstanden
- 2022