Quantitative Verification with Neural Networks.

Alessandro Abate, Alec Edwards, Mirco Giacobbe, Hashan Punchihewa, Diptarko Roy

Browse the full CONCUR paper archive.