TY  - RPRT
TI  - Robust STL Control Synthesis under Maximal Disturbance Sets
AU  - Joris Verhagen
AU  - Lars Lindemann
AU  - Jana Tumova
PY  - 2024
UR  - https://arxiv.org/abs/2404.05535
ID  - 2404.05535
ER  -