Jianqiang Ding
Orcid: 0000-0003-0705-0345
According to our database1,
Jianqiang Ding
authored at least 5 papers
between 2019 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2019
2020
2021
2022
2023
2024
0
1
2
3
4
1
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Time-to-reach Bounds for Verification of Dynamical Systems Using the Koopman Spectrum.
CoRR, 2024
Proceedings of the Formal Methods - 26th International Symposium, 2024
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
2023
Provable Reach-avoid Controllers Synthesis Based on Inner-approximating Controlled Reach-avoid Sets.
CoRR, 2023
2019