Functional Synthesis via Formal Methods and Machine Learning

Priyanka Golia

September 2023

PDF

Type

Thesis

Publication

PhD Thesis, National University of Singapore and Indian Institute of Technology Kanpur