Efficient Certificateless Blind Signature Scheme With Conditional Revocation for Mobile Crowdsensing Within Smart City. - Shuanggen Liu; Zhifeng Wan; Yixin Yuan; Qiyue Dong; Baozhu Yang; Fei Hao 001 (IEEE Internet Things J., 2024)

LTLCodeGen: Code Generation of Syntactically Correct Temporal Logic for Robot Task Planning. - Behrad Rabiei; Mahesh Kumar A. R.; Zhirui Dai; Surya L. S. R. Pilla; Qiyue Dong; Nikolay Atanasov 001 (CoRR, 2025)

LATMOS: Latent Automaton Task Model from Observation Sequences. - Weixiao Zhan; Qiyue Dong; Eduardo Sebastián; Nikolay Atanasov 001 (CoRR, 2025)