Encoding inductive invariants as barrier certificates : Synthesis via difference-of-convex programming

Wang, Qiuye; Chen, Mingshuai (Corresponding author); Xue, Bai; Zhan, Naijun (Corresponding author); Katoen, Joost-Pieter

Amsterdam : Elsevier (2022)
Journal Article

In: Information and computation
Volume: 289
Issue: A
Page(s)/Article-Nr.: 104965