TY - RPRT TI - Numerical over-approximation of invariance entropy via finite abstractions AU - Mahendra Singh Tomar AU - Christoph Kawan AU - Majid Zamani PY - 2021 UR - https://arxiv.org/abs/2011.02916 ID - 2011.02916 ER -