The following publications are possibly variants of this publication:
- Syntax-Guided SynthesisRajeev Alur, Rastislav Bodík, Eric Dallal, Dana Fisman, Pranav Garg 0001, Garvit Juniwal, Hadas Kress-Gazit, P. Madhusudan, Milo M. K. Martin, Mukund Raghothaman, Shamwaditya Saha, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa. In Maximilian Irlbeck, Doron Peled, Alexander Pretschner, editors, Dependable Software Systems Engineering. Volume 40 of NATO Science for Peace and Security Series, D: Information and Communication Security, pages 1-25, IOS Press, 2015. [doi]
- Accelerating Syntax-Guided Invariant SynthesisGrigory Fedyukovich, Rastislav Bodík. TACAS 2018: 251-269 [doi]
- Tutorial I: Syntax-guided synthesisRajeev Alur. memocode 2013: 189-194 [doi]
- Special Issue on Syntax-Guided Synthesis PrefaceDana Fisman, Rishabh Singh, Armando Solar-Lezama. fmsd, 58(3):469-470, 2021. [doi]