Jianqiang Ding
Doctoral Researcher
Doctoral Researcher
T410 Dept. Electrical Engineering and Automation
Full researcher profile
³§Ã¤³ó°ìö±è´Ç²õ³Ù¾±
jianqiang.ding@aalto.fi
Puhelinnumero
+358503130272
°Õ³Ü³Ù°ì¾±³¾³Ü²õ°ù²â³ó³¾Ã¤³Ù
- Nonlinear Systems and Control, Doctoral Researcher
Julkaisut
Jianqiang Ding, Dingran Tintin Yuan, Shankar A. Deka
2025
2025 IEEE 64th Conference on Decision and Control, CDC 2025
Jianqiang Ding, Taoran Wu, Zhen Liang, Bai Xue
2025
Formal Methods - 26th International Symposium, FM 2024, Proceedings
Dejin Ren, Zhen Liang, Chenyu Wu, Jianqiang Ding, Taoran Wu, Bai Xue
2024
Computer Aided Verification - 36th International Conference, CAV 2024, Proceedings