Data-Driven Learning of Strong Conjunctive Invariants. - Arkesh Thakkar; Deepak D'Souza (FMCAD, 2023)