TY  - RPRT
TI  - Extended CTG Generalization and Dynamic Adjustment of Generalization Strategies in IC3
AU  - Yuheng Su
AU  - Qiusong Yang
AU  - Yiwei Ci
AU  - Ziyu Huang
PY  - 2025
UR  - https://arxiv.org/abs/2501.02480
ID  - 2501.02480
ER  -