Gast ::
000977479 001__ 977479 000977479 005__ 20240217054131.0 000977479 037__ $$aRWTH-2024-00737 000977479 041__ $$aEnglish 000977479 082__ $$a004 000977479 1001_ $$0P:(DE-82)979185$$aDural, Umut Yigit$$b0$$urwth 000977479 245__ $$aAutomatic algorithm selection for probabilistic model checking using machine learning$$cUmut Yigit Dural$$hprint 000977479 260__ $$aAachen$$c2023 000977479 3367_ $$02$$2EndNote$$aThesis 000977479 3367_ $$0PUB:(DE-HGF)2$$2PUB:(DE-HGF)$$aBachelor Thesis$$bbachelor$$mbachelor 000977479 3367_ $$2BibTeX$$aMASTERSTHESIS 000977479 3367_ $$2DRIVER$$abachelorThesis 000977479 3367_ $$2DataCite$$aOutput Types/Supervised Student Publication 000977479 3367_ $$2ORCID$$aSUPERVISED_STUDENT_PUBLICATION 000977479 502__ $$aBachelorarbeit, RWTH Aachen University, 2023$$bBachelorarbeit$$cRWTH Aachen University$$d2023$$gFak01$$o2023-10-02 000977479 5203_ $$lger 000977479 520__ $$leng 000977479 591__ $$aGermany 000977479 7001_ $$0P:(DE-82)IDM00048$$aKatoen, Joost-Pieter$$b1$$eThesis advisor$$urwth 000977479 7001_ $$0P:(DE-82)IDM01580$$aNoll, Thomas$$b2$$eThesis advisor$$urwth 000977479 7001_ $$0P:(DE-82)IDM01389$$aQuatmann, Tim$$b3$$eConsultant$$urwth 000977479 7001_ $$0P:(DE-82)IDM04977$$aBork, Alexander Nikolai$$b4$$eConsultant$$urwth 000977479 8564_ $$uhttps://publications.rwth-aachen.de/record/977479/files/977479_titelseite.pdf$$yRestricted 000977479 909CO $$ooai:publications.rwth-aachen.de:977479$$pVDB 000977479 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)979185$$aRWTH Aachen$$b0$$kRWTH 000977479 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00048$$aRWTH Aachen$$b1$$kRWTH 000977479 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM01580$$aRWTH Aachen$$b2$$kRWTH 000977479 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM01389$$aRWTH Aachen$$b3$$kRWTH 000977479 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM04977$$aRWTH Aachen$$b4$$kRWTH 000977479 9141_ $$y2023 000977479 9201_ $$0I:(DE-82)121310_20140620$$k121310$$lLehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation)$$x0 000977479 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x1 000977479 961__ $$c2024-02-16T09:16:35.455425$$x2024-01-23T11:57:52.674308$$z2024-02-16T09:16:35.455425 000977479 980__ $$aI:(DE-82)120000_20140620 000977479 980__ $$aI:(DE-82)121310_20140620 000977479 980__ $$aUNRESTRICTED 000977479 980__ $$aVDB 000977479 980__ $$abachelor