Duan, Zhenhua

2 publications

IJCAI 2017 Temporalising Separation Logic for Planning with Search Control Knowledge Xu Lu, Cong Tian, Zhenhua Duan

IJCAI 2016 A Decision Procedure for a Fragment of Linear Time Mu-Calculus Yao Liu, Zhenhua Duan, Cong Tian