TY  - RPRT
TI  - Continuous-time control synthesis under nested signal temporal logic specifications
AU  - Pian Yu
AU  - Xiao Tan
AU  - Dimos V. Dimarogonas
PY  - 2024
UR  - https://arxiv.org/abs/2309.14347
ID  - 2309.14347
ER  -