Solving Stochastic Games Reliably

Weininger, Maximilian Ph.

Computer Science

Back
Back to start of result list
Permanent link for displayed object

If you experience problems opening the document, please try this link.

Original title:: Solving Stochastic Games Reliably
Translated title:: Vertrauenswürdiges Lösen von stochastischen Spielen
Author:: Weininger, Maximilian Ph.
Year:: 2022
Document type:: Dissertation
Faculty/School:: TUM School of Computation, Information and Technology
Advisor:: Kretinsky, Jan (Prof. Dr.)
Referee:: Kretinsky, Jan (Prof. Dr.); Raskin, Jean-Francois (Prof. Dr.)
Language:: en
Subject group:: DAT Datenverarbeitung, Informatik
Keywords:: Probabilistic verification; Formal Methods; Stochastic Games
Translated keywords:: Probabilistische Verifikation; Formale Methoden; Stochastische Spiele
TUM classification:: DAT 500
Abstract:: 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.
Translated abstract:: 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 hilft. «
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
Date of submission:: 22.06.2022
Oral examination:: 18.11.2022
File size:: 7988243 bytes
Pages:: 335
Urn (citeable URL):: https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20221118-1661588-1-0
Last change:: 07.02.2023
BibTeX