h1

001005904 001__ 1005904
001005904 005__ 20251006101415.0
001005904 0247_ $$2arXiv$$aarXiv:2501.11467
001005904 0247_ $$2doi$$a10.48550/arXiv.2501.11467
001005904 0247_ $$2datacite_doi$$a10.18154/RWTH-2025-02090
001005904 037__ $$aRWTH-2025-02090
001005904 041__ $$aEnglish
001005904 1001_ $$00000-0002-4561-241X$$aChatterjee, Krishnendu$$b0$$eCorresponding author
001005904 1112_ $$a31. International Conference on Tools and Algorithms for the Construction and Analysis of Systems$$cHamilton, ON$$d2025-05-03 - 2025-05-08$$gTACAS 2025$$wCanada
001005904 245__ $$aFixed Point Certificates for Reachability and Expected Rewards in MDPs$$honline
001005904 260__ $$c2025
001005904 300__ $$a54 Seiten
001005904 3367_ $$028$$2EndNote$$aElectronic Article
001005904 3367_ $$0PUB:(DE-HGF)25$$2PUB:(DE-HGF)$$aPreprint$$bpreprint$$mpreprint
001005904 3367_ $$2BibTeX$$aARTICLE
001005904 3367_ $$2DRIVER$$apreprint
001005904 3367_ $$2DataCite$$aOutput Types/Working Paper
001005904 3367_ $$2ORCID$$aWORKING_PAPER
001005904 588__ $$aDataset connected to DataCite
001005904 591__ $$aAustria
001005904 591__ $$aGermany
001005904 650_7 $$2Other$$aDiscrete Mathematics (cs.DM)
001005904 650_7 $$2Other$$aFOS: Computer and information sciences
001005904 650_7 $$2Other$$aFOS: Electrical engineering, electronic engineering, information engineering
001005904 650_7 $$2Other$$aLogic in Computer Science (cs.LO)
001005904 650_7 $$2Other$$aSystems and Control (eess.SY)
001005904 7001_ $$0P:(DE-82)IDM01389$$aQuatmann, Tim$$b1$$eCorresponding author$$urwth
001005904 7001_ $$00000-0002-2612-2335$$aSchäffeler, Maximilian$$b2
001005904 7001_ $$00000-0002-0163-2152$$aWeininger, Maximilian$$b3$$eCorresponding author
001005904 7001_ $$0P:(DE-82)IDM03625$$aWinkler, Tobias$$b4$$eCorresponding author$$urwth
001005904 7001_ $$0P:(DE-82)IDM07164$$aZilken, Daniel$$b5$$eCorresponding author$$urwth
001005904 7112_ $$a28. International Joint Conference on Theory and Practice of Software$$cHamilton, ON$$d2025-05-03 - 2025-05-08$$gETAPS 2025$$wCanada
001005904 8564_ $$uhttps://publications.rwth-aachen.de/record/1005904/files/1005904.pdf$$yOpenAccess
001005904 909CO $$ooai:publications.rwth-aachen.de:1005904$$popenaire$$popen_access$$pVDB$$pdriver$$pdnbdelivery
001005904 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM01389$$aRWTH Aachen$$b1$$kRWTH
001005904 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM03625$$aRWTH Aachen$$b4$$kRWTH
001005904 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)995525$$aRWTH Aachen$$b5$$kRWTH
001005904 9141_ $$y2025
001005904 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess
001005904 915__ $$0LIC:(DE-HGF)CCBY4$$2HGFVOC$$aCreative Commons Attribution CC BY 4.0
001005904 9201_ $$0I:(DE-82)121310_20140620$$k121310$$lLehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)$$x0
001005904 9201_ $$0I:(DE-82)080060_20170720$$k080060$$lGraduiertenkolleg UnRAVeL$$x1
001005904 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x2
001005904 961__ $$c2025-03-07T16:29:49.446615$$x2025-03-07T16:29:49.446615$$z2025-03-10
001005904 9801_ $$aFullTexts
001005904 980__ $$aI:(DE-82)080060_20170720
001005904 980__ $$aI:(DE-82)120000_20140620
001005904 980__ $$aI:(DE-82)121310_20140620
001005904 980__ $$aUNRESTRICTED
001005904 980__ $$aVDB
001005904 980__ $$apreprint