@misc{indiciaef492c7560ad8, title = {Verifying \$k\$-Contraction without Computing \$k\$-Compounds}, author = {Omri Dalin and Ron Ofir and Eyal Bar Shalom and Alexander Ovseevich and Francesco Bullo and Michael Margaliot}, year = {2022}, url = {https://arxiv.org/abs/2209.01046}, note = {Source identifier: 2209.01046} }