---
_id: '13139'
abstract:
- lang: eng
  text: 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.
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Tobias
  full_name: Meggendorfer, Tobias
  id: b21b0c15-30a2-11eb-80dc-f13ca25802e1
  last_name: Meggendorfer
  orcid: 0000-0002-1712-2165
citation:
  ama: 'Meggendorfer T. Correct approximation of stationary distributions. In: <i>TACAS
    2023: Tools and Algorithms for the Construction and Analysis of Systems</i>. Vol
    13993. Springer Nature; 2023:489-507. doi:<a href="https://doi.org/10.1007/978-3-031-30823-9_25">10.1007/978-3-031-30823-9_25</a>'
  apa: 'Meggendorfer, T. (2023). Correct approximation of stationary distributions.
    In <i>TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems</i>
    (Vol. 13993, pp. 489–507). Paris, France: Springer Nature. <a href="https://doi.org/10.1007/978-3-031-30823-9_25">https://doi.org/10.1007/978-3-031-30823-9_25</a>'
  chicago: 'Meggendorfer, Tobias. “Correct Approximation of Stationary Distributions.”
    In <i>TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems</i>,
    13993:489–507. Springer Nature, 2023. <a href="https://doi.org/10.1007/978-3-031-30823-9_25">https://doi.org/10.1007/978-3-031-30823-9_25</a>.'
  ieee: 'T. Meggendorfer, “Correct approximation of stationary distributions,” in
    <i>TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems</i>,
    Paris, France, 2023, vol. 13993, pp. 489–507.'
  ista: 'Meggendorfer T. 2023. Correct approximation of stationary distributions.
    TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems.
    TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS,
    vol. 13993, 489–507.'
  mla: 'Meggendorfer, Tobias. “Correct Approximation of Stationary Distributions.”
    <i>TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems</i>,
    vol. 13993, Springer Nature, 2023, pp. 489–507, doi:<a href="https://doi.org/10.1007/978-3-031-30823-9_25">10.1007/978-3-031-30823-9_25</a>.'
  short: 'T. Meggendorfer, in:, TACAS 2023: Tools and Algorithms for the Construction
    and Analysis of Systems, Springer Nature, 2023, pp. 489–507.'
conference:
  end_date: 2023-04-27
  location: Paris, France
  name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems'
  start_date: 2023-04-22
corr_author: '1'
date_created: 2023-06-18T22:00:46Z
date_published: 2023-04-22T00:00:00Z
date_updated: 2025-09-09T12:28:12Z
day: '22'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1007/978-3-031-30823-9_25
external_id:
  arxiv:
  - '2301.08137'
  isi:
  - '001288688000025'
file:
- access_level: open_access
  checksum: 59f707a3949c03793251b0d04c62542a
  content_type: application/pdf
  creator: dernst
  date_created: 2023-06-19T07:18:40Z
  date_updated: 2023-06-19T07:18:40Z
  file_id: '13148'
  file_name: 2023_LNCS_Meggendorfer.pdf
  file_size: 521951
  relation: main_file
  success: 1
file_date_updated: 2023-06-19T07:18:40Z
fulldoi: https://doi.org/10.1007/978-3-031-30823-9_25
has_accepted_license: '1'
intvolume: '     13993'
isi: 1
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '04'
oa: 1
oa_version: Published Version
page: 489-507
publication: 'TACAS 2023: Tools and Algorithms for the Construction and Analysis of
  Systems'
publication_identifier:
  eissn:
  - 1611-3349
  isbn:
  - '9783031308222'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
  record:
  - id: '14990'
    relation: research_data
    status: public
scopus_import: '1'
status: public
title: Correct approximation of stationary distributions
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: conference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 13993
year: '2023'
...