Quantitative Verification with Neural Networks: Data-Driven Approach

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