%0 Journal Article %1 journals/corr/abs-2301-06136 %A Abate, Alessandro %A Edwards, Alec %A Giacobbe, Mirco %A Punchihewa, Hashan %A Roy, Diptarko %D 2023 %J CoRR %K dblp %T Quantitative Verification With Neural Networks For Probabilistic Programs and Stochastic Systems. %U http://dblp.uni-trier.de/db/journals/corr/corr2301.html#abs-2301-06136 %V abs/2301.06136

@article{journals/corr/abs-2301-06136, added-at = {2023-01-19T00:00:00.000+0100}, author = {Abate, Alessandro and Edwards, Alec and Giacobbe, Mirco and Punchihewa, Hashan and Roy, Diptarko}, biburl = {https://www.bibsonomy.org/bibtex/252666bccbb1caea26c9afc3469e548a2/dblp}, ee = {https://doi.org/10.48550/arXiv.2301.06136}, interhash = {cfd0e173bf3331b57abcbba642a9c5c0}, intrahash = {52666bccbb1caea26c9afc3469e548a2}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:29:39.000+0200}, title = {Quantitative Verification With Neural Networks For Probabilistic Programs and Stochastic Systems.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2301.html#abs-2301-06136}, volume = {abs/2301.06136}, year = 2023 }