- Alternative title
-
Vertrauenswürdiges Lösen von stochastischen Spielen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
München, Technische Universität München, Dissertation, 2022
- Keyword
-
Spieltheorie
Model Checking
Verifikation
Programmierung
- Event
-
Veröffentlichung
- (where)
-
München
- (who)
-
Universitätsbibliothek der TU München
- (when)
-
2022
- Creator
-
Weininger, Maximilian Ph.
- Contributor
-
Kretinsky, Jan
Kretinsky, Jan
Raskin, Jean-Francois
- URN
-
urn:nbn:de:bvb:91-diss-20221118-1661588-1-0
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:55 PM CET
Data provider
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Weininger, Maximilian Ph.
- Kretinsky, Jan
- Raskin, Jean-Francois
- Universitätsbibliothek der TU München
Time of origin
- 2022