h1

h2

h3

h4

h5
h6

001     954240
005     20250515124911.0
024 7 _ |2 ISSN
|a 0925-9856
024 7 _ |2 ISSN
|a 1572-8102
024 7 _ |2 SCOPUS
|a SCOPUS:2-s2.0-85149479925
024 7 _ |2 WOS
|a WOS:000946174300001
024 7 _ |2 datacite_doi
|a 10.18154/RWTH-2023-03042
024 7 _ |2 doi
|a 10.1007/s10703-023-00411-4
037 _ _ |a RWTH-2023-03042
041 _ _ |a English
082 _ _ |a 004
100 1 _ |0 0000-0002-4561-241X
|a Chatterjee, Krishnendu
|b 0
111 2 _ |a Conference on Computer-Aided Verification
|c online
|d 2020-07-21 - 2020-07-24
|g CAV 2020
245 _ _ |a Stochastic games with lexicographic objectives
|h online
260 _ _ |a Dordrecht [u.a.]
|b Springer Science + Business Media B.V
|c 2024
260 _ _ |c 2023
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 _ |0 PUB:(DE-HGF)8
|2 PUB:(DE-HGF)
|a Contribution to a conference proceedings
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
500 _ _ |a Published: 08 March 2023
536 _ _ |0 G:(DE-82)X021000-OA
|a OA - Open Access Publikation mit Unterstützung der Universitätsbibliothek der RWTH Aachen University (X021000-OA)
|c X021000-OA
|x 0
536 _ _ |0 G:(GEPRIS)282652900
|a GRK 2236 - UNRAVEL - UNcertainty and Randomness in Algorithms, VErification, and Logic (282652900)
|c 282652900
|x 1
536 _ _ |0 G:(GEPRIS)383882557
|a Statistische unbegrenzte Überprüfung (383882557)
|c 383882557
|x 2
536 _ _ |0 G:(GEPRIS)427755713
|a Group-by-Ziele bei der probabilistichen Verifikation (427755713)
|c 427755713
|x 3
536 _ _ |0 G:(GEPRIS)378803395
|a GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems (378803395)
|c 378803395
|x 4
536 _ _ |0 G:(EU-Grant)101008233
|a MISSION - Models in Space Systems: Integration, Operation, and Networking (101008233)
|c 101008233
|f H2020-MSCA-RISE-2020
|x 5
536 _ _ |0 G:(EU-Grant)863818
|a Formal Methods for Stochastic Models: Algorithms and Applications (863818)
|c 863818
|x 6
588 _ _ |a Dataset connected to CrossRef, Journals: publications.rwth-aachen.de
591 _ _ |a Austria
591 _ _ |a Germany
700 1 _ |0 P:(DE-82)IDM00048
|a Katoen, Joost-Pieter
|b 1
|u rwth
700 1 _ |0 0000-0002-8630-3218
|a Mohr, Stefanie
|b 2
700 1 _ |0 0000-0002-0163-2152
|a Weininger, Maximilian
|b 3
700 1 _ |0 P:(DE-82)IDM03625
|a Winkler, Tobias
|b 4
|e Corresponding author
|u rwth
711 2 _ |a Conference on Computer-Aided Verification
|c online
|d 2021-07-20 - 2021-07-23
|g CAV 2021
770 _ _ |a Special issue on 'CAV 2020 - 2021'
773 _ _ |0 PERI:(DE-600)1479899-2
|a 10.1007/s10703-023-00411-4
|n 1/3
|p 40-80
|t Formal methods in system design
|v 63
|x 0925-9856
|y 2023
856 4 _ |u https://publications.rwth-aachen.de/record/954240/files/954240.pdf
|y OpenAccess
876 7 _ |c 150.00
|d 2023-03-24
|e Other
|j DEAL
|x 021000-121310
|z Servicepauschale
|l SpringerNature
876 7 _ |c 2750.00
|d 2023-03-24
|e Hybrid-OA
|j DEAL
|x 021000-121310
|l SpringerNature
909 C O |o oai:publications.rwth-aachen.de:954240
|p OpenAPC_DEAL
|p VDB
|p dnbdelivery
|p driver
|p ec_fundedresources
|p openCost
|p open_access
|p openaire
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)IDM03625
|a RWTH Aachen
|b 4
|k RWTH
914 1 _ |y 2023
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 FORM METHOD SYST DES : 2021
|d 2022-11-11
915 _ _ |0 StatID:(DE-HGF)0100
|2 StatID
|a JCR
|b FORM METHOD SYST DES : 2022
|d 2023-08-19
915 _ _ |0 StatID:(DE-HGF)0113
|2 StatID
|a WoS
|b Science Citation Index Expanded
|d 2022-11-11
915 _ _ |0 StatID:(DE-HGF)0113
|2 StatID
|a WoS
|b Science Citation Index Expanded
|d 2023-08-19
915 _ _ |0 StatID:(DE-HGF)0150
|2 StatID
|a DBCoverage
|b Web of Science Core Collection
|d 2022-11-11
915 _ _ |0 StatID:(DE-HGF)0150
|2 StatID
|a DBCoverage
|b Web of Science Core Collection
|d 2023-08-19
915 _ _ |0 StatID:(DE-HGF)0160
|2 StatID
|a DBCoverage
|b Essential Science Indicators
|d 2022-11-11
915 _ _ |0 StatID:(DE-HGF)0160
|2 StatID
|a DBCoverage
|b Essential Science Indicators
|d 2023-08-19
915 _ _ |0 StatID:(DE-HGF)0199
|2 StatID
|a DBCoverage
|b Clarivate Analytics Master Journal List
|d 2022-11-11
915 _ _ |0 StatID:(DE-HGF)0199
|2 StatID
|a DBCoverage
|b Clarivate Analytics Master Journal List
|d 2023-08-19
915 _ _ |0 StatID:(DE-HGF)0200
|2 StatID
|a DBCoverage
|b SCOPUS
|d 2022-11-11
915 _ _ |0 StatID:(DE-HGF)0200
|2 StatID
|a DBCoverage
|b SCOPUS
|d 2023-08-19
915 _ _ |0 StatID:(DE-HGF)0300
|2 StatID
|a DBCoverage
|b Medline
|d 2022-11-11
915 _ _ |0 StatID:(DE-HGF)0300
|2 StatID
|a DBCoverage
|b Medline
|d 2023-08-19
915 _ _ |0 StatID:(DE-HGF)0420
|2 StatID
|a Nationallizenz
|d 2022-11-11
|w ger
915 _ _ |0 StatID:(DE-HGF)0420
|2 StatID
|a Nationallizenz
|d 2023-08-19
|w ger
915 _ _ |0 StatID:(DE-HGF)0510
|2 StatID
|a OpenAccess
915 _ _ |0 StatID:(DE-HGF)3002
|2 StatID
|a DEAL Springer
|d 2022-11-11
|w ger
915 _ _ |0 StatID:(DE-HGF)3002
|2 StatID
|a DEAL Springer
|d 2023-08-19
|w ger
915 _ _ |0 StatID:(DE-HGF)9900
|2 StatID
|a IF < 5
|d 2022-11-11
915 _ _ |0 StatID:(DE-HGF)9900
|2 StatID
|a IF < 5
|d 2023-08-19
915 p c |0 PC:(DE-HGF)0000
|2 APC
|a APC keys set
915 p c |0 PC:(DE-HGF)0113
|2 APC
|a DEAL: Springer Nature 2020
915 p c |0 PC:(DE-HGF)0002
|2 APC
|a DFG OA Publikationskosten
915 p c |0 PC:(DE-HGF)0001
|2 APC
|a Local Funding
920 1 _ |0 I:(DE-82)080060_20170720
|k 080060
|l Graduiertenkolleg UnRAVeL
|x 0
920 1 _ |0 I:(DE-82)121310_20140620
|k 121310
|l Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation)
|x 1
920 1 _ |0 I:(DE-82)120000_20140620
|k 120000
|l Fachgruppe Informatik
|x 2
980 1 _ |a FullTexts
980 _ _ |a APC
980 _ _ |a I:(DE-82)080060_20170720
980 _ _ |a I:(DE-82)120000_20140620
980 _ _ |a I:(DE-82)121310_20140620
980 _ _ |a UNRESTRICTED
980 _ _ |a VDB
980 _ _ |a contrib
980 _ _ |a journal

LibraryCollectionCLSMajorCLSMinorLanguageAuthor
Marc 21