h1

h2

h3

h4

h5
h6
%0 Thesis
%A Dural, Umut Yigit
%T Automatic algorithm selection for probabilistic model checking using machine learning
%I RWTH Aachen University
%V Bachelorarbeit
%C Aachen
%M RWTH-2024-00737
%D 2023
%Z Bachelorarbeit, RWTH Aachen University, 2023
%F PUB:(DE-HGF)2
%9 Bachelor Thesis
%U https://publications.rwth-aachen.de/record/977479