h1

001014495 001__ 1014495
001014495 005__ 20260224145256.0
001014495 0247_ $$2ISBN$$a978-3-031-90652-7
001014495 0247_ $$2ISBN$$a978-3-031-90653-4
001014495 0247_ $$2ISBN$$a978-3-031-90654-1
001014495 0247_ $$2ISSN$$a0302-9743
001014495 0247_ $$2ISSN$$a1611-3349
001014495 0247_ $$2SCOPUS$$aSCOPUS:2-s2.0-105004789057
001014495 0247_ $$2datacite_doi$$a10.18154/RWTH-2025-06111
001014495 0247_ $$2doi$$a10.1007/978-3-031-90653-4_7
001014495 037__ $$aRWTH-2025-06111
001014495 041__ $$aEnglish
001014495 1001_ $$00000-0002-4561-241X$$aChatterjee, Krishnendu$$b0
001014495 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
001014495 245__ $$aFixed Point Certificates for Reachability and Expected Rewards in MDPs$$honline, print
001014495 250__ $$a1st ed. 2025
001014495 260__ $$aCham$$bSpringer Nature Switzerland$$c2025
001014495 29510 $$aTools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II / edited by Arie Gurfinkel, Marijn Heule
001014495 300__ $$a130-151
001014495 3367_ $$033$$2EndNote$$aConference Paper
001014495 3367_ $$0PUB:(DE-HGF)7$$2PUB:(DE-HGF)$$aContribution to a book
001014495 3367_ $$0PUB:(DE-HGF)8$$2PUB:(DE-HGF)$$aContribution to a conference proceedings$$bcontrib$$mcontrib
001014495 3367_ $$2BibTeX$$aINPROCEEDINGS
001014495 3367_ $$2DRIVER$$aconferenceObject
001014495 3367_ $$2DataCite$$aOutput Types/Conference Paper
001014495 3367_ $$2ORCID$$aCONFERENCE_PAPER
001014495 4900_ $$aLecture notes in computer science$$v15697
001014495 536__ $$0G:(MKW NRW)005-2401-0001$$aMKW NRW 005-2401-0001 - VerifAIPO : Verifying Al Systems under Partial Observability (005-2401-0001)$$c005-2401-0001$$x0
001014495 588__ $$aDataset connected to CrossRef Book Series, Journals: publications.rwth-aachen.de
001014495 591__ $$aAustria
001014495 591__ $$aGermany
001014495 7001_ $$0P:(DE-82)IDM01389$$aQuatmann, Tim$$b1$$urwth
001014495 7001_ $$00000-0002-2612-2335$$aSchäffeler, Maximilian$$b2
001014495 7001_ $$00000-0002-0163-2152$$aWeininger, Maximilian$$b3$$eCorresponding author
001014495 7001_ $$0P:(DE-82)IDM03625$$aWinkler, Tobias$$b4$$urwth
001014495 7001_ $$0P:(DE-82)IDM07164$$aZilken, Daniel$$b5$$urwth
001014495 7112_ $$a28. International Joint Conference on Theory and Practice of Software$$cHamilton, ON$$d2025-05-03 - 2025-05-08$$gETAPS 2025$$wCanada
001014495 7870_ $$0RWTH-2025-02090$$iIsParent
001014495 8564_ $$uhttps://publications.rwth-aachen.de/record/1014495/files/1014495.pdf$$yOpenAccess
001014495 909CO $$ooai:publications.rwth-aachen.de:1014495$$popenaire$$popen_access$$pdriver$$pdnbdelivery$$pVDB
001014495 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM01389$$aRWTH Aachen$$b1$$kRWTH
001014495 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM03625$$aRWTH Aachen$$b4$$kRWTH
001014495 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM07164$$aRWTH Aachen$$b5$$kRWTH
001014495 9141_ $$y2025
001014495 9151_ $$0StatID:(DE-HGF)0031$$2StatID$$aPeer reviewed article$$x0
001014495 915__ $$0LIC:(DE-HGF)CCBY4$$2HGFVOC$$aCreative Commons Attribution CC BY 4.0
001014495 915__ $$0StatID:(DE-HGF)0200$$2StatID$$aDBCoverage$$bSCOPUS$$d2024-12-28
001014495 915__ $$0StatID:(DE-HGF)0420$$2StatID$$aNationallizenz$$d2024-12-28$$wger
001014495 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess
001014495 9201_ $$0I:(DE-82)121310_20140620$$k121310$$lLehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)$$x0
001014495 9201_ $$0I:(DE-82)080060_20170720$$k080060$$lGraduiertenkolleg UnRAVeL$$x1
001014495 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x2
001014495 961__ $$c2025-07-11T11:08:03.271860$$x2025-07-11T11:08:03.271860$$z2025-07-11T11:08:03.271860
001014495 9801_ $$aFullTexts
001014495 980__ $$aI:(DE-82)080060_20170720
001014495 980__ $$aI:(DE-82)120000_20140620
001014495 980__ $$aI:(DE-82)121310_20140620
001014495 980__ $$aUNRESTRICTED
001014495 980__ $$aVDB
001014495 980__ $$acontb
001014495 980__ $$acontrib