Temporalising Separation Logic for Planning with Search Control Knowledge

Lu et al. "Temporalising Separation Logic for Planning with Search Control Knowledge." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/162

[Lu et al. "Temporalising Separation Logic for Planning with Search Control Knowledge." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/lu2017ijcai-temporalising/) doi:10.24963/IJCAI.2017/162

@inproceedings{lu2017ijcai-temporalising,
  title     = {{Temporalising Separation Logic for Planning with Search Control Knowledge}},
  author    = {Lu, Xu and Tian, Cong and Duan, Zhenhua},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2017},
  pages     = {1167-1173},
  doi       = {10.24963/IJCAI.2017/162},
  url       = {https://mlanthology.org/ijcai/2017/lu2017ijcai-temporalising/}
}