View in EDS PDF Full Text

QUANTITATIVE VERIFICATION WITH NEURAL NETWORKS.

Saved in:
Bibliographic Details
Title: QUANTITATIVE VERIFICATION WITH NEURAL NETWORKS.
Authors: ABATE, ALESSANDRO1, alessandro.abate@cs.ox.ac.uk, EDWARDS, ALEC, GIACOBBE, MIRCO2, m.giacobbe@bham.ac.uk, PUNCHIHEWA, HASHAN, ROY, DIPTARKO2, d.s.roy@bham.ac.uk
Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 2, p1-26, 26p
Database: Applied Science & Technology Source
Description
ISSN:18605974
DOI:10.46298/LMCS-22(2:4)2026