TY  - RPRT
TI  - Efficient STL Control Synthesis under Asynchronous Temporal Robustness Constraints
AU  - Xinyi Yu
AU  - Xiang Yin
AU  - Lars Lindemann
PY  - 2023
UR  - https://arxiv.org/abs/2307.12855
ID  - 2307.12855
ER  -