Temporalising Separation Logic for Planning with Search Control Knowledge.

Xu Lu, Cong Tian, Zhenhua Duan

Browse the full IJCAI paper archive.