• Classified by Research Topic • Sorted by Date • Classified by Publication Type •
Provable Guarantees in Approximate Synthesis.
Kushagra Gupta, Priyanka Golia, Subhajit Roy and Kuldeep S. Meel.
In Proceedings of Design, Automation, and Test in Europe(DATE), pp. 1–7, 2026.
(unavailable)
@inproceedings{GGRM26,
title={Provable Guarantees in Approximate Synthesis},
author={Gupta, Kushagra and Golia, Priyanka and Roy, Subhajit and Meel, Kuldeep S.},
booktitle=DATE,
pages={1--7},
year={2026},
bib2html_rescat={Synthesis},
bib2html_pubtype={Refereed Conference},
bib2html_dl_pdf={https://doi.org/10.23919/DATE69613.2026.11539087},
}
Generated by bib2html.pl (written by Patrick Riley with layout from Sanjit A. Seshia ) on Thu Aug 27, 2026 01:50:04