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

DOI10.1016/j.ic.2022.104965arXiv2209.09703MaRDI QIDQ6411355

Mingshuai Chen, Bai Xue, Qiuye Wang, Joost-Pieter Katoen, Naijun Zhan

Publication date: 20 September 2022

Mathematics Subject Classification ID

68Qxx: Theory of computing