h1

000954240 001__ 954240
000954240 005__ 20250515124911.0
000954240 0247_ $$2ISSN$$a0925-9856
000954240 0247_ $$2ISSN$$a1572-8102
000954240 0247_ $$2SCOPUS$$aSCOPUS:2-s2.0-85149479925
000954240 0247_ $$2WOS$$aWOS:000946174300001
000954240 0247_ $$2datacite_doi$$a10.18154/RWTH-2023-03042
000954240 0247_ $$2doi$$a10.1007/s10703-023-00411-4
000954240 037__ $$aRWTH-2023-03042
000954240 041__ $$aEnglish
000954240 082__ $$a004
000954240 1001_ $$00000-0002-4561-241X$$aChatterjee, Krishnendu$$b0
000954240 1112_ $$aConference on Computer-Aided Verification$$conline$$d2020-07-21 - 2020-07-24$$gCAV 2020
000954240 245__ $$aStochastic games with lexicographic objectives$$honline
000954240 260__ $$aDordrecht [u.a.]$$bSpringer Science + Business Media B.V$$c2024
000954240 260__ $$c2023
000954240 3367_ $$00$$2EndNote$$aJournal Article
000954240 3367_ $$0PUB:(DE-HGF)16$$2PUB:(DE-HGF)$$aJournal Article$$bjournal$$mjournal
000954240 3367_ $$0PUB:(DE-HGF)8$$2PUB:(DE-HGF)$$aContribution to a conference proceedings
000954240 3367_ $$2BibTeX$$aARTICLE
000954240 3367_ $$2DRIVER$$aarticle
000954240 3367_ $$2DataCite$$aOutput Types/Journal article
000954240 3367_ $$2ORCID$$aJOURNAL_ARTICLE
000954240 500__ $$aPublished: 08 March 2023
000954240 536__ $$0G:(DE-82)X021000-OA$$aOA - Open Access Publikation mit Unterstützung der Universitätsbibliothek der RWTH Aachen University (X021000-OA)$$cX021000-OA$$x0
000954240 536__ $$0G:(GEPRIS)282652900$$aGRK 2236 - UNRAVEL - UNcertainty and Randomness in Algorithms, VErification, and Logic (282652900)$$c282652900$$x1
000954240 536__ $$0G:(GEPRIS)383882557$$aStatistische unbegrenzte Überprüfung (383882557)$$c383882557$$x2
000954240 536__ $$0G:(GEPRIS)427755713$$aGroup-by-Ziele bei der probabilistichen Verifikation (427755713)$$c427755713$$x3
000954240 536__ $$0G:(GEPRIS)378803395$$aGRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems (378803395)$$c378803395$$x4
000954240 536__ $$0G:(EU-Grant)101008233$$aMISSION - Models in Space Systems: Integration, Operation, and Networking (101008233)$$c101008233$$fH2020-MSCA-RISE-2020$$x5
000954240 536__ $$0G:(EU-Grant)863818$$aFormal Methods for Stochastic Models: Algorithms and Applications (863818)$$c863818$$x6
000954240 588__ $$aDataset connected to CrossRef, Journals: publications.rwth-aachen.de
000954240 591__ $$aAustria
000954240 591__ $$aGermany
000954240 7001_ $$0P:(DE-82)IDM00048$$aKatoen, Joost-Pieter$$b1$$urwth
000954240 7001_ $$00000-0002-8630-3218$$aMohr, Stefanie$$b2
000954240 7001_ $$00000-0002-0163-2152$$aWeininger, Maximilian$$b3
000954240 7001_ $$0P:(DE-82)IDM03625$$aWinkler, Tobias$$b4$$eCorresponding author$$urwth
000954240 7112_ $$aConference on Computer-Aided Verification$$conline$$d2021-07-20 - 2021-07-23$$gCAV 2021
000954240 770__ $$aSpecial issue on 'CAV 2020 - 2021'
000954240 773__ $$0PERI:(DE-600)1479899-2$$a10.1007/s10703-023-00411-4$$n1/3$$p40-80$$tFormal methods in system design$$v63$$x0925-9856$$y2023
000954240 8564_ $$uhttps://publications.rwth-aachen.de/record/954240/files/954240.pdf$$yOpenAccess
000954240 8767_ $$c150.00$$d2023-03-24$$eOther$$jDEAL$$lSpringerNature$$x021000-121310$$zServicepauschale
000954240 8767_ $$c2750.00$$d2023-03-24$$eHybrid-OA$$jDEAL$$lSpringerNature$$x021000-121310
000954240 909CO $$ooai:publications.rwth-aachen.de:954240$$popenaire$$popen_access$$popenCost$$pec_fundedresources$$pdriver$$pdnbdelivery$$pVDB$$pOpenAPC_DEAL
000954240 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00048$$aRWTH Aachen$$b1$$kRWTH
000954240 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM03625$$aRWTH Aachen$$b4$$kRWTH
000954240 9141_ $$y2023
000954240 9151_ $$0StatID:(DE-HGF)0031$$2StatID$$aPeer reviewed article$$x0
000954240 915__ $$0LIC:(DE-HGF)CCBY4$$2HGFVOC$$aCreative Commons Attribution CC BY 4.0
000954240 915__ $$0StatID:(DE-HGF)0100$$2StatID$$aJCR$$bFORM METHOD SYST DES : 2021$$d2022-11-11
000954240 915__ $$0StatID:(DE-HGF)0100$$2StatID$$aJCR$$bFORM METHOD SYST DES : 2022$$d2023-08-19
000954240 915__ $$0StatID:(DE-HGF)0113$$2StatID$$aWoS$$bScience Citation Index Expanded$$d2022-11-11
000954240 915__ $$0StatID:(DE-HGF)0113$$2StatID$$aWoS$$bScience Citation Index Expanded$$d2023-08-19
000954240 915__ $$0StatID:(DE-HGF)0150$$2StatID$$aDBCoverage$$bWeb of Science Core Collection$$d2022-11-11
000954240 915__ $$0StatID:(DE-HGF)0150$$2StatID$$aDBCoverage$$bWeb of Science Core Collection$$d2023-08-19
000954240 915__ $$0StatID:(DE-HGF)0160$$2StatID$$aDBCoverage$$bEssential Science Indicators$$d2022-11-11
000954240 915__ $$0StatID:(DE-HGF)0160$$2StatID$$aDBCoverage$$bEssential Science Indicators$$d2023-08-19
000954240 915__ $$0StatID:(DE-HGF)0199$$2StatID$$aDBCoverage$$bClarivate Analytics Master Journal List$$d2022-11-11
000954240 915__ $$0StatID:(DE-HGF)0199$$2StatID$$aDBCoverage$$bClarivate Analytics Master Journal List$$d2023-08-19
000954240 915__ $$0StatID:(DE-HGF)0200$$2StatID$$aDBCoverage$$bSCOPUS$$d2022-11-11
000954240 915__ $$0StatID:(DE-HGF)0200$$2StatID$$aDBCoverage$$bSCOPUS$$d2023-08-19
000954240 915__ $$0StatID:(DE-HGF)0300$$2StatID$$aDBCoverage$$bMedline$$d2022-11-11
000954240 915__ $$0StatID:(DE-HGF)0300$$2StatID$$aDBCoverage$$bMedline$$d2023-08-19
000954240 915__ $$0StatID:(DE-HGF)0420$$2StatID$$aNationallizenz$$d2022-11-11$$wger
000954240 915__ $$0StatID:(DE-HGF)0420$$2StatID$$aNationallizenz$$d2023-08-19$$wger
000954240 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess
000954240 915__ $$0StatID:(DE-HGF)3002$$2StatID$$aDEAL Springer$$d2022-11-11$$wger
000954240 915__ $$0StatID:(DE-HGF)3002$$2StatID$$aDEAL Springer$$d2023-08-19$$wger
000954240 915__ $$0StatID:(DE-HGF)9900$$2StatID$$aIF < 5$$d2022-11-11
000954240 915__ $$0StatID:(DE-HGF)9900$$2StatID$$aIF < 5$$d2023-08-19
000954240 915pc $$0PC:(DE-HGF)0000$$2APC$$aAPC keys set
000954240 915pc $$0PC:(DE-HGF)0113$$2APC$$aDEAL: Springer Nature 2020
000954240 915pc $$0PC:(DE-HGF)0002$$2APC$$aDFG OA Publikationskosten
000954240 915pc $$0PC:(DE-HGF)0001$$2APC$$aLocal Funding
000954240 9201_ $$0I:(DE-82)080060_20170720$$k080060$$lGraduiertenkolleg UnRAVeL$$x0
000954240 9201_ $$0I:(DE-82)121310_20140620$$k121310$$lLehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation)$$x1
000954240 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x2
000954240 961__ $$c2023-03-24T14:34:57.327533$$x2023-03-24T14:34:57.327533$$z2023-03-24T14:34:57.327533
000954240 9801_ $$aFullTexts
000954240 980__ $$aAPC
000954240 980__ $$aI:(DE-82)080060_20170720
000954240 980__ $$aI:(DE-82)120000_20140620
000954240 980__ $$aI:(DE-82)121310_20140620
000954240 980__ $$aUNRESTRICTED
000954240 980__ $$aVDB
000954240 980__ $$acontrib
000954240 980__ $$ajournal