@article{li2021reactive,
  title={Reactive Task and Motion Planning under Temporal Logic Specifications},
  author={Li, Shen and Park, Daehyung and Sung, Yoonchang and Shah, Julie A. and Roy, Nicholas},
  journal={arXiv preprint arXiv:2103.14464},
  year={2021}
}