Home > Research > Publications & Outputs > Correct Approximation of Stationary Distributions.

Links

Text available via DOI:

View graph of relations

Correct Approximation of Stationary Distributions.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Published
Publication date22/04/2023
Host publicationTools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings
EditorsSriram Sankaranarayanan, Natasha Sharygina
PublisherSpringer
Pages489-507
Number of pages19
ISBN (print)9783031308222
<mark>Original language</mark>English

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume13993 LNCS
ISSN (Print)0302-9743
ISSN (electronic)1611-3349

Abstract

A classical problem for Markov chains is determining their stationary (or steady-state) distribution. This problem has an equally classical solution based on eigenvectors and linear equation systems. However, this approach does not scale to large instances, and iterative solutions are desirable. It turns out that a naive approach, as used by current model checkers, may yield completely wrong results. We present a new approach, which utilizes recent advances in partial exploration and mean payoff computation to obtain a correct, converging approximation.