Neuronale Netzwerke für quantitative Verifikation von probabilistischen Programmen und stochastischen Modellen.