Barrier certificates revisited

Liyun Dai, Ting Gan, Bican Xia, Naijun Zhan. Barrier certificates revisited. Journal of Symbolic Computation, 80:62-86, 2017. [doi]

Abstract

Abstract is missing.