The following publications are possibly variants of this publication:
- Formal Synthesis of Neural Craig Interpolant via Counterexample Guided Deep LearningWang Lin, Mi Ding, Kaipeng Lin, Guoquan Mei, Zuohua Ding. dsa 2022: 116-125 [doi]
- Adversarial robustness of deep neural networks: A survey from a formal verification perspectiveMeng, Mark Huasong, Bai, Guangdong, Teo, Sin Gee, Hou, Zhe, Xiao, Yan, Lin, Yun, Dong, Jin Song. IEEE Transactions on Dependable and Secure Computing, , 2022.
- Counterexample-Guided Assume-Guarantee Synthesis through LearningShang-Wei Lin, Pao-Ann Hsiung. TC, 60(5):734-750, 2011. [doi]
- Counterexample-guided permissive supervisor synthesis for probabilistic systems through learningBo Wu, Hai Lin. amcc 2015: 2894-2899 [doi]