Record #911851 - RWTH Publications

DFG project G:(GEPRIS)383882557

Statistische unbegrenzte Überprüfung

Coordinator	Professor Dr. Jan Kretinsky, Ph.D.
Grant period	2017 - 2022
Funding body	Deutsche Forschungsgemeinschaft
	DFG
Identifier	G:(GEPRIS)383882557

Note: Dieses Projekt wird formale Methoden zur Verifikation von probabilistischen Systemen mit der Hilfe der Simulationen entwickeln. Insbesondere werden Algorithmen zur statistischen Modellprüfung großer und / oder unbekannter Markov-Ketten und Markov-Entscheidungsprozesse auf verschiedene Ziele mit im Allgemeinen unbegrenztem Horizont, ein theoretisch anspruchsvolles und praktisch relevantes Problem, zur Verfügung gestellt. Der Schwerpunkt liegt dabei auf linearer zeitlicher Logik, mittlerer Auszahlung und linearen Abständen.

Recent Publications

All known publications ...
Download: BibTeX | EndNote XML, Text | RIS |

Journal Article/Contribution to a conference proceedings Chatterjee, K. ; Katoen, J.-P.RWTH* ; Mohr, S. ; Weininger, M. ; Winkler, T. (Corresponding author)RWTH*
Stochastic games with lexicographic objectives
2024Conference on Computer-Aided Verification, CAV 2020, onlineonline, 21 Jul 2020 - 24 Jul 20202020-07-212020-07-24
Conference on Computer-Aided Verification, CAV 2021, onlineonline, 20 Jul 2021 - 23 Jul 20212021-07-202021-07-23 Formal methods in system design 63(1/3), 40-80 (2023) [10.1007/s10703-023-00411-4] special issue: "Special issue on 'CAV 2020 - 2021'"2023 OpenAccess Files BibTeX | EndNote: XML, Text | RIS