Crossref Citations
                  This article has been cited by the following publications. This list is generated based on data provided by Crossref.
                                
                                    
                                    Montanari, Angelo
                                     and 
                                    Sala, Pietro
                                  2014.
                                  Interval-based Synthesis.
                                  
                                  
                                  Electronic Proceedings in Theoretical Computer Science, 
                                  Vol. 161, 
                                  Issue. , 
                                
                                    p. 
                                    102.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Jensen, Peter Gjøl
                                    
                                    Larsen, Kim Guldstrand
                                     and 
                                    Srba, Jiří
                                  2016.
                                  Model Checking Software.
                                  
                                  
                                  
                                  Vol. 9641, 
                                  Issue. , 
                                
                                    p. 
                                    129.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Faymonville, Peter
                                    
                                    Finkbeiner, Bernd
                                     and 
                                    Tentrup, Leander
                                  2017.
                                  Computer Aided Verification.
                                  
                                  
                                  
                                  Vol. 10427, 
                                  Issue. , 
                                
                                    p. 
                                    325.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Gerstacker, Carsten
                                    
                                    Klein, Felix
                                     and 
                                    Finkbeiner, Bernd
                                  2018.
                                  Automated Technology for Verification and Analysis.
                                  
                                  
                                  
                                  Vol. 11138, 
                                  Issue. , 
                                
                                    p. 
                                    441.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    von Hippel, Max
                                    
                                    Vick, Cole
                                    
                                    Tripakis, Stavros
                                     and 
                                    Nita-Rotaru, Cristina
                                  2020.
                                  Computer Safety, Reliability, and Security.
                                  
                                  
                                  
                                  Vol. 12234, 
                                  Issue. , 
                                
                                    p. 
                                    133.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Seenuvasan, Jayasurya
                                    
                                    Prasad, Shalini Sai
                                     and 
                                    Kumar, N. S.
                                  2020.
                                  Computational Intelligence in Data Science.
                                  
                                  
                                  
                                  Vol. 578, 
                                  Issue. , 
                                
                                    p. 
                                    312.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Fisman, Dana
                                    
                                    Singh, Rishabh
                                     and 
                                    Solar-Lezama, Armando
                                  2021.
                                  Special Issue on Syntax-Guided Synthesis Preface.
                                  
                                  
                                  Formal Methods in System Design, 
                                  Vol. 58, 
                                  Issue. 3, 
                                
                                    p. 
                                    469.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Choi, Wonhyuk
                                    
                                    Vazirani, Michel
                                     and 
                                    Santolucito, Mark
                                  2021.
                                  Programming Languages and Systems.
                                  
                                  
                                  
                                  Vol. 13008, 
                                  Issue. , 
                                
                                    p. 
                                    47.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Santolucito, Mark
                                  2021.
                                  Human-in-the-loop program synthesis for live coding.
                                  
                                  
                                  
                                  
                                  
                                
                                    p. 
                                    47.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Zhao, Wei
                                     and 
                                    Liu, Zhiming
                                  2022.
                                  A learning-based synthesis approach of reward asynchronous probabilistic games against the linear temporal logic winning condition.
                                  
                                  
                                  PeerJ Computer Science, 
                                  Vol. 8, 
                                  Issue. , 
                                
                                    p. 
                                    e1094.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Krogmeier, Paul
                                     and 
                                    Madhusudan, P.
                                  2023.
                                  Languages with Decidable Learning: A Meta-theorem.
                                  
                                  
                                  Proceedings of the ACM on Programming Languages, 
                                  Vol. 7, 
                                  Issue. OOPSLA1, 
                                
                                    p. 
                                    143.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Bansal, Suguman
                                    
                                    De Giacomo, Giuseppe
                                    
                                    Di Stasio, Antonio
                                    
                                    Li, Yong
                                    
                                    Vardi, Moshe Y.
                                     and 
                                    Zhu, Shufang
                                  2023.
                                  Verified Software. Theories, Tools and Experiments..
                                  
                                  
                                  
                                  Vol. 13800, 
                                  Issue. , 
                                
                                    p. 
                                    1.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Boker, Udi
                                     and 
                                    Lehtinen, Karoliina
                                  2023.
                                  When a Little Nondeterminism Goes a Long Way.
                                  
                                  
                                  ACM SIGLOG News, 
                                  Vol. 10, 
                                  Issue. 1, 
                                
                                    p. 
                                    24.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Brizzio, Matías
                                     and 
                                    Sánchez, César
                                  2023.
                                  Theoretical Aspects of Computing – ICTAC 2023.
                                  
                                  
                                  
                                  Vol. 14446, 
                                  Issue. , 
                                
                                    p. 
                                    256.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Majumdar, Rupak
                                    
                                    Sağlam, Irmak
                                     and 
                                    Thejaswini, K. S.
                                  2024.
                                  Tools and Algorithms for the Construction and Analysis of Systems.
                                  
                                  
                                  
                                  Vol. 14572, 
                                  Issue. , 
                                
                                    p. 
                                    213.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Feeken, Linda
                                     and 
                                    Fränzle, Martin
                                  2024.
                                  Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion.
                                  
                                  
                                  Electronic Proceedings in Theoretical Computer Science, 
                                  Vol. 409, 
                                  Issue. , 
                                
                                    p. 
                                    53.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Fischer-Heselhaus, Simon
                                     and 
                                    Brune, Philipp
                                  2024.
                                  Mobile, Secure, and Programmable Networking.
                                  
                                  
                                  
                                  Vol. 14482, 
                                  Issue. , 
                                
                                    p. 
                                    205.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Xiao, Shengping
                                    
                                    Li, Yongkang
                                    
                                    Huang, Xinyue
                                    
                                    Xu, Yicong
                                    
                                    Li, Jianwen
                                    
                                    Pu, Geguang
                                    
                                    Strichman, Ofer
                                     and 
                                    Vardi, Moshe Y.
                                  2024.
                                  Verification, Model Checking, and Abstract Interpretation.
                                  
                                  
                                  
                                  Vol. 14499, 
                                  Issue. , 
                                
                                    p. 
                                    186.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Yu, Shiwen
                                    
                                    Liu, Zengyu
                                    
                                    Wang, Ting
                                     and 
                                    Wang, Ji
                                  2024.
                                  Neural Solving Uninterpreted Predicates with Abstract Gradient Descent.
                                  
                                  
                                  ACM Transactions on Software Engineering and Methodology, 
                                  Vol. 33, 
                                  Issue. 8, 
                                
                                    p. 
                                    1.
                                
                                
                        
                        
                        
                         
 
