@misc{indiciae3c79d93df98d, title = {Robust STL Control Synthesis under Maximal Disturbance Sets}, author = {Joris Verhagen and Lars Lindemann and Jana Tumova}, year = {2024}, url = {https://arxiv.org/abs/2404.05535}, note = {Source identifier: 2404.05535} }