Statistics
Publications
4
Citations
140
H-Index
4
Active since
2016
Affiliations
Ting Gan is an author at Peking University specializing in hybrid systems, reachability, and hybrid systems verification.
Publications per year
2016–2019
4
4
Barrier certificates revisited
Liyun Dai, Ting Gan, Bican Xia et al. · Journal of Symbolic Computation · 2016 · 73 citations
Reachability Analysis for Solvable Dynamical Systems
Ting Gan, Mingshuai Chen, Yangjia Li et al. · IEEE Transactions on Automatic Control · 2017 · 41 citations
Learning Diffusions without Timestamps
Hao Huang, Qian Yan, Ting Gan et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2019 · 16 citations · Full text
Computing reachable sets of linear vector fields revisited
Ting Gan, Mingshuai Chen, Yangjia Li et al. · 2016 · 10 citations
1–4 of 4