Towards Personalized Anti-Tachycardia Pacing: A Formal Analysis of Reentry Mechanisms and Adaptive Algorithm Development. - Jicheng Gu; Peiheng Cai; Zhihao Jiang (EMBC, 2024)