Zhenhua Duan

ICTT and ISN Laboratory , Xidian University Xi'an , 710071 , P.R. China

2 papers in the IJCAI proceedings

IJCAI 2017

Temporalising Separation Logic for Planning with Search Control Knowledge

with Xu Lu, Cong Tian

doi:10.24963/ijcai.2017/162

Details PDF

IJCAI 2016

A Decision Procedure for a Fragment of Linear Time Mu-Calculus

with Yao Liu, Cong Tian

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings