Yujian Cao

University of Liverpool

1 paper in the IJCAI proceedings

IJCAI 2026

Optimal LTLf Synthesis

with Sven Schewe, Qiyi Tang, Shufang Zhu

doi:10.24963/ijcai.2026/4

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings