TY  - RPRT
TI  - Verifying $k$-Contraction without Computing $k$-Compounds
AU  - Omri Dalin
AU  - Ron Ofir
AU  - Eyal Bar Shalom
AU  - Alexander Ovseevich
AU  - Francesco Bullo
AU  - Michael Margaliot
PY  - 2022
UR  - https://arxiv.org/abs/2209.01046
ID  - 2209.01046
ER  -