TY - RPRT TI - Some Computational Tools for Solving a Selection of Problems in Control Theory AU - Alexander Demin AU - Christina Katsamaki AU - Fabrice Rouillier PY - 2025 UR - https://arxiv.org/abs/2505.09191 ID - 2505.09191 ER -