@article{li2022online, title={Online Motion Planning with Soft Metric Interval Temporal Logic in Unknown Dynamic Environment}, author={Li, Zhiliang and Cai, Mingyu and Xiao, Shaoping and Kan, Zhen}, journal={IEEE Control Systems Letters}, year={2022}, publisher={IEEE} }