@misc{indiciaee2e30ec1eecf,
  title = {Extended CTG Generalization and Dynamic Adjustment of Generalization Strategies in IC3},
  author = {Yuheng Su and Qiusong Yang and Yiwei Ci and Ziyu Huang},
  year = {2025},
  url = {https://arxiv.org/abs/2501.02480},
  note = {Source identifier: 2501.02480}
}