A Method Converting Multi-Properties Objective Reachability Problems to Multi-Objective Sets Reachability Problems over FKS - Zhaokai Li; Zhanyou Ma; Xia Li; Yingnan Gao (Symmetry, 2022)