Pengcheng Dai

19 papers and 223 indexed citations i.

About

Pengcheng Dai has authored 19 papers that have received a total of 223 indexed citations. This includes 7 papers in Computational Theory and Mathematics, 6 papers in Electrical and Electronic Engineering and 5 papers in Artificial Intelligence. The topics of these papers are Adaptive Dynamic Programming Control (4 papers), Formal Methods in Verification (3 papers) and Petri Nets in System Modeling (3 papers). Pengcheng Dai is often cited by papers focused on Adaptive Dynamic Programming Control (4 papers), Formal Methods in Verification (3 papers) and Petri Nets in System Modeling (3 papers) and collaborates with scholars based in China, United States and Canada. Pengcheng Dai's co-authors include Ryan J. Leduc, Wenwu Yu, Guanghui Wen, Weisheng Zhao and Yiran Chen and has published in prestigious journals such as IEEE Transactions on Automatic Control, Optics Letters and IEEE Transactions on Cybernetics

In The Last Decade

Rankless by CCL
2025