Fast numerical program analysis with reinforcement learning

DOI10.1007/978-3-319-96145-3_12zbMath1511.68090OpenAlexW2884243532MaRDI QIDQ6045005

Gagandeep Singh, Markus Püschel, Martin Vechev

Publication date: 26 May 2023

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-96145-3_12

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Memory-efficient fixpoint computation

This page was built for publication: Fast numerical program analysis with reinforcement learning