h1

h2

h3

h4

h5
h6

001     1017608
005     20260224145211.0
024 7 _ |2 ISSN
|a 0168-7433
024 7 _ |2 ISSN
|a 1573-0670
024 7 _ |2 SCOPUS
|a SCOPUS:2-s2.0-105013673727
024 7 _ |2 WOS
|a WOS:001552725700001
024 7 _ |2 datacite_doi
|a 10.18154/RWTH-2025-07439
024 7 _ |2 doi
|a 10.1007/s10817-025-09736-7
037 _ _ |a RWTH-2025-07439
041 _ _ |a English
082 _ _ |a 004
100 1 _ |0 P:(DE-82)IDM06570
|a Mertens, Hannah
|b 0
|e Corresponding author
|u rwth
245 _ _ |a Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate
|h online, print
260 _ _ |a Dordrecht [u.a.]
|b Springer Science + Business Media B.V.
|c 2025
300 _ _ |a [1]-50
336 7 _ |0 0
|2 EndNote
|a Journal Article
336 7 _ |0 PUB:(DE-HGF)16
|2 PUB:(DE-HGF)
|a Journal Article
|b journal
|m journal
336 7 _ |2 BibTeX
|a ARTICLE
336 7 _ |2 DRIVER
|a article
336 7 _ |2 DataCite
|a Output Types/Journal article
336 7 _ |2 ORCID
|a JOURNAL_ARTICLE
536 _ _ |0 G:(DE-82)021000-OAPKF
|a OAPKF - Open-Access-Publikation mit Unterstützung der RWTH Aachen University (021000-OAPKF)
|c 021000-OAPKF
|x 0
536 _ _ |0 G:(GEPRIS)282652900
|a GRK 2236 - GRK 2236: Unsicherheit und Randomisierung in Algorithmen, Verifikation und Logik. (282652900)
|c 282652900
|x 1
536 _ _ |0 G:(MKW NRW)005-2401-0001
|a MKW NRW 005-2401-0001 - VerifAIPO : Verifying Al Systems under Partial Observability (005-2401-0001)
|c 005-2401-0001
|x 2
588 _ _ |a Dataset connected to , , , CrossRef, Journals: publications.rwth-aachen.de
591 _ _ |a Germany
700 1 _ |0 P:(DE-82)IDM00048
|a Katoen, Joost-Pieter
|b 1
|u rwth
700 1 _ |0 P:(DE-82)IDM01389
|a Quatmann, Tim
|b 2
|u rwth
700 1 _ |0 P:(DE-82)IDM03625
|a Winkler, Tobias
|b 3
|u rwth
773 _ _ |0 PERI:(DE-600)1479376-3
|a 10.1007/s10817-025-09736-7
|n 3
|p 23
|t Journal of automated reasoning
|v 69
|x 1573-0670
|y 2025
856 4 _ |u https://publications.rwth-aachen.de/record/1017608/files/1017608.pdf
|y OpenAccess
876 7 _ |c 100
|d 2025-09-04
|e Other
|j DEAL
|v 7.00
|x 021000-121310
|z Servicepauschale
876 7 _ |c 2600
|d 2025-09-04
|e Hybrid-OA
|j DEAL
|v 182.00
|x 021000-121310
909 C O |o oai:publications.rwth-aachen.de:1017608
|p OpenAPC_DEAL
|p VDB
|p dnbdelivery
|p driver
|p openCost
|p open_access
|p openaire
910 1 _ |0 I:(DE-588b)36225-6
|6 P:(DE-82)IDM06570
|a RWTH Aachen
|b 0
|k RWTH
910 1 _ |0 I:(DE-588b)36225-6
|6 P:(DE-82)IDM00048
|a RWTH Aachen
|b 1
|k RWTH
910 1 _ |0 I:(DE-588b)36225-6
|6 P:(DE-82)IDM01389
|a RWTH Aachen
|b 2
|k RWTH
910 1 _ |0 I:(DE-588b)36225-6
|6 P:(DE-82)IDM03625
|a RWTH Aachen
|b 3
|k RWTH
914 1 _ |y 2025
915 1 _ |0 StatID:(DE-HGF)0031
|2 StatID
|a Peer reviewed article
|x 0
915 _ _ |0 LIC:(DE-HGF)CCBY4
|2 HGFVOC
|a Creative Commons Attribution CC BY 4.0
915 _ _ |0 StatID:(DE-HGF)0100
|2 StatID
|a JCR
|b J AUTOM REASONING : 2022
|d 2024-12-16
915 _ _ |0 StatID:(DE-HGF)0113
|2 StatID
|a WoS
|b Science Citation Index Expanded
|d 2024-12-16
915 _ _ |0 StatID:(DE-HGF)0150
|2 StatID
|a DBCoverage
|b Web of Science Core Collection
|d 2024-12-16
915 _ _ |0 StatID:(DE-HGF)0160
|2 StatID
|a DBCoverage
|b Essential Science Indicators
|d 2024-12-16
915 _ _ |0 StatID:(DE-HGF)0199
|2 StatID
|a DBCoverage
|b Clarivate Analytics Master Journal List
|d 2024-12-16
915 _ _ |0 StatID:(DE-HGF)0200
|2 StatID
|a DBCoverage
|b SCOPUS
|d 2024-12-16
915 _ _ |0 StatID:(DE-HGF)0300
|2 StatID
|a DBCoverage
|b Medline
|d 2024-12-16
915 _ _ |0 StatID:(DE-HGF)0420
|2 StatID
|a Nationallizenz
|d 2024-12-16
|w ger
915 _ _ |0 StatID:(DE-HGF)0510
|2 StatID
|a OpenAccess
915 _ _ |0 StatID:(DE-HGF)3002
|2 StatID
|a DEAL Springer
|d 2024-12-16
|w ger
915 _ _ |0 StatID:(DE-HGF)9900
|2 StatID
|a IF < 5
|d 2024-12-16
915 p c |0 PC:(DE-HGF)0000
|2 APC
|a APC keys set
915 p c |0 PC:(DE-HGF)0001
|2 APC
|a Local Funding
915 p c |0 PC:(DE-HGF)0002
|2 APC
|a DFG OA Publikationskosten
920 1 _ |0 I:(DE-82)121310_20140620
|k 121310
|l Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)
|x 0
920 1 _ |0 I:(DE-82)120000_20140620
|k 120000
|l Fachgruppe Informatik
|x 1
980 1 _ |a FullTexts
980 _ _ |a APC
980 _ _ |a I:(DE-82)120000_20140620
980 _ _ |a I:(DE-82)121310_20140620
980 _ _ |a UNRESTRICTED
980 _ _ |a VDB
980 _ _ |a journal

LibraryCollectionCLSMajorCLSMinorLanguageAuthor
Marc 21