Quantitative Verification with Neural Networks

Alessandro Abate, Alec Edwards, Mirco Giacobbe +2

We present a data-driven approach to the quantitative verification of probabilistic programs and stochastic dynamical models. Our approach leverages neural networks to compute tigh…