TY - RPRT TI - Verifiable computations for dynamic encrypted control AU - Sebastian Schlor AU - Frank Allgöwer PY - 2026 UR - https://arxiv.org/abs/2606.18109 ID - 2606.18109 ER -