TY  - RPRT
TI  - Task and Motion Planning of Dynamic Systems using Hyperproperties for Signal Temporal Logics
AU  - Jianing Zhao
AU  - Bowen Ye
AU  - Xinyi Yu
AU  - Rupak Majumdar
AU  - Xiang Yin
PY  - 2025
UR  - https://arxiv.org/abs/2509.02184
ID  - 2509.02184
ER  -