@misc{indiciae07c378df1c45,
  title = {Task and Motion Planning of Dynamic Systems using Hyperproperties for Signal Temporal Logics},
  author = {Jianing Zhao and Bowen Ye and Xinyi Yu and Rupak Majumdar and Xiang Yin},
  year = {2025},
  url = {https://arxiv.org/abs/2509.02184},
  note = {Source identifier: 2509.02184}
}