Converse Barrier Certificate Theorems | IEEE Journals & Magazine | IEEE Xplore