@misc{indiciae8b2a8a42e7b7,
  title = {Online Motion Planning with Soft Metric Interval Temporal Logic in Unknown Dynamic Environment},
  author = {Zhiliang Li and Mingyu Cai and Shaoping Xiao and Zhen Kan},
  year = {2021},
  doi = {10.1109/lcsys.2022.3145058},
  url = {https://arxiv.org/abs/2110.09007},
  note = {Source identifier: 2110.09007}
}