Barrier certificates revisited - Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun; Dai, LY (reprint author), Peking Univ, LMAM, Beijing, Peoples R China.; Dai, LY (reprint author), Peking Univ, Sch Math Sci, Beijing, Peoples R China.; Peking Univ, LMAM, Beijing, Peoples R China.; Peking Univ, Sch Math Sci, Beijing, Peoples R China.; Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100864, Peoples R China. (SCI, 2017)