Li, Jianwen

4 publications

IJCAI 2022 LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work Giuseppe De Giacomo, Marco Favorito, Jianwen Li, Moshe Y. Vardi, Shengping Xiao, Shufang Zhu

AAAI 2021 On-the-Fly Synthesis for LTL over Finite Traces Shengping Xiao, Jianwen Li, Shufang Zhu, Yingying Shi, Geguang Pu, Moshe Y. Vardi

AAAI 2019 SAT-Based Explicit LTLf Satisfiability Checking Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi

IJCAI 2017 Symbolic LTLf Synthesis Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi