Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains

Mertens, Hannah (Corresponding author)^RWTH* ; Katoen, Joost-Pieter (Corresponding author)^RWTH* ; Quatmann, Tim (Corresponding author)^RWTH* ; Winkler, Tobias (Corresponding author)^RWTH*

In
Tools and algorithms for the construction and analysis of systems / Bernd Finkbeiner, Laura Kovács, editors. - Part 2, Seiten/Artikel-Nr: 237-257

2024

Konferenz/Event:30. International Conference TACAS , Luxembourg , Luxembourg , TACAS 2024 , 2024-04-06 - 2024-04-11

Konferenz/Event:European Joint Conferences on Theory and Practice of Software , Luxembourg , Luxembourg , ETAPS 2024 , 2024-04-06 - 2024-04-11

ImpressumCham : Springer

Umfang237-257

ISBN978-3-031-57248-7, 978-3-031-57249-4, 978-3-031-57250-0

ReiheLecture notes in computer science ; 14571

Online
DOI: 10.18154/RWTH-2024-07263
DOI: 10.1007/978-3-031-57249-4_12
10.1007/978-3-031-57249-4_12
URL: https://publications.rwth-aachen.de/record/990356/files/990356.pdf

Einrichtungen

OpenAccess:
PDF
(additional files)

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85192234585
WOS Core Collection: WOS:001284179800012
OpenAlex: W4393943494

Interne Identnummern
RWTH-2024-07263
Datensatz-ID: 990356

Beteiligte Länder
Germany

;

; Nationallizenz

; SCOPUS

Record created 2024-08-05, last modified 2026-09-14

Similar records

OpenAccess:

Rate this document:

(Not yet reviewed)

h1