h1

% IMPORTANT: The following is UTF-8 encoded.  This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.

@ARTICLE{Wang:853946,
      author       = {Wang, Qiuye and Chen, Mingshuai and Xue, Bai and Zhan,
                      Naijun and Katoen, Joost-Pieter},
      title        = {{E}ncoding inductive invariants as barrier certificates :
                      {S}ynthesis via difference-of-convex programming},
      journal      = {Information and computation},
      volume       = {289},
      number       = {A},
      issn         = {0890-5401},
      address      = {Amsterdam},
      publisher    = {Elsevier},
      reportid     = {RWTH-2022-09180},
      pages        = {104965},
      year         = {2022},
      note         = {Available online 22 September 2022},
      cin          = {121310 / 120000},
      ddc          = {004},
      cid          = {$I:(DE-82)121310_20140620$ / $I:(DE-82)120000_20140620$},
      pnm          = {FRAPPANT - Formal Reasoning About Probabilistic Programs:
                      Breaking New Ground for Automation (787914) / MISSION -
                      Models in Space Systems: Integration, Operation, and
                      Networking (101008233)},
      pid          = {G:(EU-Grant)787914 / G:(EU-Grant)101008233},
      typ          = {PUB:(DE-HGF)16},
      UT           = {WOS:000914897100026},
      doi          = {10.1016/j.ic.2022.104965},
      url          = {https://publications.rwth-aachen.de/record/853946},
}