Affine Disjunctive Invariant Generation with Farkas' Lemma. - Jingyu Ke; Hongfei Fu 001; Hongming Liu; Zhouyue Sun; Liqian Chen; Guoqiang Li 001 (VMCAI (1), 2025)