guest ::
Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate
; ; ;
In
Journal of automated reasoning 69(3), Seiten/Artikel-Nr.:23
2025
Online
DOI: 10.18154/RWTH-2025-07439
DOI: 10.1007/s10817-025-09736-7
URL: https://publications.rwth-aachen.de/record/1017608/files/1017608.pdf
Einrichtungen
- Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2) (121310)
- Fachgruppe Informatik (120000)
Projekte
- OAPKF - Open-Access-Publikation mit Unterstützung der RWTH Aachen University (021000-OAPKF) (021000-OAPKF)
- GRK 2236 - GRK 2236: Unsicherheit und Randomisierung in Algorithmen, Verifikation und Logik. (282652900) (282652900)
Thematische Einordnung (Klassifikation)
DDC: 004
OpenAccess: 
PDF
Dokumenttyp
Journal Article
Format
online, print
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-105013673727
WOS Core Collection: WOS:001552725700001
Interne Identnummern
RWTH-2025-07439
Datensatz-ID: 1017608
Beteiligte Länder
Germany
; 
; 
; Clarivate Analytics Master Journal List ; DEAL Springer ; Essential Science Indicators ; IF < 5 ; JCR ; Nationallizenz
; SCOPUS ; Science Citation Index Expanded ; Web of Science Core Collection
|
The record appears in these collections: |
PDF