@misc{indiciae3a7e6358e7bc, title = {Verifiable computations for dynamic encrypted control}, author = {Sebastian Schlor and Frank Allgöwer}, year = {2026}, url = {https://arxiv.org/abs/2606.18109}, note = {Source identifier: 2606.18109} }