Verifying k-Contraction without Computing k-Compounds - Omri Dalin; Ron Ofir; Eyal Bar Shalom; Alexander Ovseevich; Francesco Bullo; Michael Margaliot (2022)