Direct translation of LTL formulas to Büchi automata. - Xinye Lu; Guiming Luo (ICCI*CC, 2012)

Amos-SLAM: An Anti-Dynamics Two-Stage RGB-D SLAM Approach. - Yaoming Zhuang; Pengrun Jia; Zheng Liu; Li Li; Chengdong Wu 001; Xinye Lu; Wei Cui 002; Zhanlin Liu (IEEE Trans. Instrum. Meas., 2024)