TY - RPRT TI - Computing control invariant sets of nonlinear systems: decomposition and distributed computing AU - Benjamin Decardi-Nelson AU - Jinfeng Liu PY - 2022 UR - https://arxiv.org/abs/2205.05622 ID - 2205.05622 ER -