People

Jianqiang Ding

Doctoral Researcher

T410 Dept. Electrical Engineering and Automation

Full researcher profile

https://research.aalto.fi/...

jianqiang.ding@aalto.fi

Phone number

+358503130272

Research groups

Nonlinear Systems and Control, Doctoral Researcher

Publications

PyBDR: Set-Boundary Based Reachability Analysis Toolkit in Python

Jianqiang Ding, Taoran Wu, Zhen Liang, Bai Xue 2025 Formal Methods - 26th International Symposium, FM 2024, Proceedings

Inner-Approximate Reachability Computation via Zonotopic Boundary Analysis

Dejin Ren, Zhen Liang, Chenyu Wu, Jianqiang Ding, Taoran Wu, Bai Xue 2024 Computer Aided Verification - 36th International Conference, CAV 2024, Proceedings