Kailun Luo

2 papers in the IJCAI proceedings

IJCAI 2021

A Uniform Abstraction Framework for Generalized Planning

with Zhenhe Cui, Yongmei Liu

doi:10.24963/ijcai.2021/253

Details PDF

IJCAI 2019

Automatic Verification of FSA Strategies via Counterexample-Guided Local Search for Invariants

with Yongmei Liu

doi:10.24963/ijcai.2019/251

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings