Provable Reach-avoid Controllers Synthesis Based on Inner-approximating Controlled Reach-avoid Sets. - Jianqiang Ding; Taoran Wu; Yuping Qian; Lijun Zhang 001; Bai Xue 001 (CoRR, 2023)

AutoTRIZ: Automating engineering innovation with TRIZ and large language models. - Shuo Jiang; Weifeng Li; Yuping Qian; Yangjun Zhang; Jianxi Luo (Adv. Eng. Informatics, 2025)