Author:
Kong Soonho,Solar-Lezama Armando,Gao Sicun
Publisher
Springer International Publishing
Reference29 articles.
1. Gao, S., Avigad, J., Clarke, E.M.: Delta-decidability over the reals. In: LICS, pp. 305–314 (2012)
2. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);S Gao,2012
3. Lecture Notes in Computer Science;S Kong,2015
4. Ratschan, S.: Applications of quantified constraint solving over the reals-bibliography. arXiv preprint arXiv:1205.5571 (2012)
5. Solar-Lezama, A.: Program Synthesis by Sketching. University of California, Berkeley (2008)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Closure Certificates;Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control;2024-05-14
2. Demystifying Template-Based Invariant Generation for Bit-Vector Programs;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
3. Verified reductions for optimization;Tools and Algorithms for the Construction and Analysis of Systems;2023
4. Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming;Information and Computation;2022-11
5. LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions;Tools and Algorithms for the Construction and Analysis of Systems;2022