Login
- 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
Vorkommen:
- mediaTUM GesamtbestandElektronische PrüfungsarbeitenSchoolTUM School of Computation, Information and TechnologyComputer Science
- mediaTUM GesamtbestandHochschulbibliographie2022Schools und FakultätenInformatikInformatik 7 - Professur für Formale Methoden der Softwarezuverlässigkeit (Prof. Kretínský)