h1

000992674 001__ 992674
000992674 005__ 20251006172612.0
000992674 037__ $$aRWTH-2024-08346
000992674 041__ $$aEnglish
000992674 082__ $$a004
000992674 1001_ $$0P:(DE-82)992683$$aBüge, Sven$$b0$$urwth
000992674 245__ $$aImplementing Goal-HSVI for POMDPs in the probabilistic model checker Storm$$cSven Böge$$hprint
000992674 260__ $$aAachen$$c2024
000992674 3367_ $$02$$2EndNote$$aThesis
000992674 3367_ $$0PUB:(DE-HGF)2$$2PUB:(DE-HGF)$$aBachelor Thesis$$bbachelor$$mbachelor
000992674 3367_ $$2BibTeX$$aMASTERSTHESIS
000992674 3367_ $$2DRIVER$$abachelorThesis
000992674 3367_ $$2DataCite$$aOutput Types/Supervised Student Publication
000992674 3367_ $$2ORCID$$aSUPERVISED_STUDENT_PUBLICATION
000992674 502__ $$aBachelorarbeit, RWTH Aachen University, 2024$$bBachelorarbeit$$cRWTH Aachen University$$d2024$$gFak01$$o2024-04-23
000992674 5203_ $$aonline nicht verfügbar$$lger
000992674 520__ $$leng
000992674 591__ $$aGermany
000992674 7001_ $$0P:(DE-82)IDM00048$$aKatoen, Joost-Pieter$$b1$$eThesis advisor$$urwth
000992674 7001_ $$0P:(DE-82)IDM01580$$aNoll, Thomas$$b2$$eThesis advisor$$urwth
000992674 7001_ $$0P:(DE-82)IDM04977$$aBork, Alexander Nikolai$$b3$$eConsultant$$urwth
000992674 8564_ $$uhttps://publications.rwth-aachen.de/record/992674/files/992674_Titelseite.pdf$$yRestricted
000992674 909CO $$ooai:publications.rwth-aachen.de:992674$$pVDB
000992674 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)992683$$aRWTH Aachen$$b0$$kRWTH
000992674 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00048$$aRWTH Aachen$$b1$$kRWTH
000992674 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM01580$$aRWTH Aachen$$b2$$kRWTH
000992674 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM04977$$aRWTH Aachen$$b3$$kRWTH
000992674 9141_ $$y2024
000992674 9201_ $$0I:(DE-82)121310_20140620$$k121310$$lLehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)$$x0
000992674 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x1
000992674 961__ $$c2024-09-09T17:06:07.615841$$x2024-09-09T16:12:46.558760$$z2024-09-09T17:06:07.615841
000992674 980__ $$aI:(DE-82)120000_20140620
000992674 980__ $$aI:(DE-82)121310_20140620
000992674 980__ $$aUNRESTRICTED
000992674 980__ $$aVDB
000992674 980__ $$abachelor