ConnChecker: Automated Root-Cause Analysis for Formal Connectivity Check via Graph. - Do Ngoc Tiep; Nguyen Linh Anh; Luu Danh Minh (CoRR, 2026)