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.
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.
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.
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.
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,
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.