h1

h2

h3

h4

h5
h6
%0 Journal Article
%A Wang, Qiuye
%A Chen, Mingshuai
%A Xue, Bai
%A Zhan, Naijun
%A Katoen, Joost-Pieter
%T Encoding inductive invariants as barrier certificates : Synthesis via difference-of-convex programming
%J Information and computation
%V 289
%N A
%@ 0890-5401
%C Amsterdam
%I Elsevier
%M RWTH-2022-09180
%P 104965
%D 2022
%Z Available online 22 September 2022
%F PUB:(DE-HGF)16
%9 Journal Article
%U <Go to ISI:>//WOS:000914897100026
%R 10.1016/j.ic.2022.104965
%U https://publications.rwth-aachen.de/record/853946