@article{DBLP:journals/corr/abs-2301-06136,
  author    = {Alessandro Abate and
               Alec Edwards and
               Mirco Giacobbe and
               Hashan Punchihewa and
               Diptarko Roy},
  title     = {Quantitative Verification With Neural Networks For Probabilistic Programs
               and Stochastic Systems},
  journal   = {CoRR},
  volume    = {abs/2301.06136},
  year      = {2023},
  url       = {https://doi.org/10.48550/arXiv.2301.06136},
  doi       = {10.48550/arXiv.2301.06136},
  eprinttype = {arXiv},
  eprint    = {2301.06136},
  timestamp = {Thu, 19 Jan 2023 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2301-06136.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"XAMrTZc79WbeaHzBE","bibbaseid":"abate-edwards-giacobbe-punchihewa-roy-quantitativeverificationwithneuralnetworksforprobabilisticprogramsandstochasticsystems-2023","author_short":["Abate, A.","Edwards, A.","Giacobbe, M.","Punchihewa, H.","Roy, D."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Alessandro"],"propositions":[],"lastnames":["Abate"],"suffixes":[]},{"firstnames":["Alec"],"propositions":[],"lastnames":["Edwards"],"suffixes":[]},{"firstnames":["Mirco"],"propositions":[],"lastnames":["Giacobbe"],"suffixes":[]},{"firstnames":["Hashan"],"propositions":[],"lastnames":["Punchihewa"],"suffixes":[]},{"firstnames":["Diptarko"],"propositions":[],"lastnames":["Roy"],"suffixes":[]}],"title":"Quantitative Verification With Neural Networks For Probabilistic Programs and Stochastic Systems","journal":"CoRR","volume":"abs/2301.06136","year":"2023","url":"https://doi.org/10.48550/arXiv.2301.06136","doi":"10.48550/arXiv.2301.06136","eprinttype":"arXiv","eprint":"2301.06136","timestamp":"Thu, 19 Jan 2023 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/corr/abs-2301-06136.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/abs-2301-06136,\n author = {Alessandro Abate and\n Alec Edwards and\n Mirco Giacobbe and\n Hashan Punchihewa and\n Diptarko Roy},\n title = {Quantitative Verification With Neural Networks For Probabilistic Programs\n and Stochastic Systems},\n journal = {CoRR},\n volume = {abs/2301.06136},\n year = {2023},\n url = {https://doi.org/10.48550/arXiv.2301.06136},\n doi = {10.48550/arXiv.2301.06136},\n eprinttype = {arXiv},\n eprint = {2301.06136},\n timestamp = {Thu, 19 Jan 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/corr/abs-2301-06136.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n","author_short":["Abate, A.","Edwards, A.","Giacobbe, M.","Punchihewa, H.","Roy, D."],"key":"DBLP:journals/corr/abs-2301-06136","id":"DBLP:journals/corr/abs-2301-06136","bibbaseid":"abate-edwards-giacobbe-punchihewa-roy-quantitativeverificationwithneuralnetworksforprobabilisticprogramsandstochasticsystems-2023","role":"author","urls":{"Paper":"https://doi.org/10.48550/arXiv.2301.06136"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/search/publ/bibtex?q=author:Giuseppe_Boccignone:|author:Raffaella_Lanzarotti:|author:Giuliano_Grossi:|author:Vittorio_Cuculo:|author:Alessandro_D","dataSources":["zh7osHDrtywfGdfsS"],"keywords":[],"search_terms":["quantitative","verification","neural","networks","probabilistic","programs","stochastic","systems","abate","edwards","giacobbe","punchihewa","roy"],"title":"Quantitative Verification With Neural Networks For Probabilistic Programs and Stochastic Systems","year":2023}