Value Iteration Algorithm for Solving Shortest Path Problems with Homology Class Constraints. - Wenbo He; Yunshen Huang; Jinran Qie; Shen Zeng (CDC, 2023)