Benutzer: Gast  Login
Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link
Originaltitel:
Solving Stochastic Games Reliably
Übersetzter Titel:
Vertrauenswürdiges Lösen von stochastischen Spielen
Autor:
Weininger, Maximilian Ph.
Jahr:
2022
Dokumenttyp:
Dissertation
Fakultät/School:
TUM School of Computation, Information and Technology
Betreuer:
Kretinsky, Jan (Prof. Dr.)
Gutachter:
Kretinsky, Jan (Prof. Dr.); Raskin, Jean-Francois (Prof. Dr.)
Sprache:
en
Fachgebiet:
DAT Datenverarbeitung, Informatik
Stichworte:
Probabilistic verification; Formal Methods; Stochastic Games
Übersetzte Stichworte:
Probabilistische Verifikation; Formale Methoden; Stochastische Spiele
TU-Systematik:
DAT 500
Kurzfassung:
We provide solution algorithms for stochastic games. Our methods are *reliable* in the sense that they use expressive formalisms, give precision guarantees, and provide explainable results. Moreover, we analyse and improve their scalability. In particular, we provide guaranteed algorithms also when the formalisms include limited information or multiple objectives, and we present a mature tool that supports explaining any memoryless deterministic strategy.
Übersetzte Kurzfassung:
Wir bieten Algorithmen zum Lösen stochastischer Spiele. Unsere Methoden sind *vertrauenswürdig*, da sie expressive Formalismen benutzen, Präzisionsgarantien geben und erklärbare Resultate liefern. Außerdem analysieren und verbessern wir ihre Skalierbarkeit. Insbesondere bieten wir garantierte Algorithmen sogar wenn die Formalismen begrenzte Information oder mehrere Ziele umfassen und präsentieren ein ausgereiftes Programm das beim Erklären jedweder gedächtnislosen deterministischen Strategie hil...     »
WWW:
https://mediatum.ub.tum.de/?id=1661588
Eingereicht am:
22.06.2022
Mündliche Prüfung:
18.11.2022
Dateigröße:
7988243 bytes
Seiten:
335
Urn (Zitierfähige URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20221118-1661588-1-0
Letzte Änderung:
07.02.2023
 BibTeX