Paper in Information & Computation

The paper entitled “Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming” by Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, and Joost-Pieter Katoen has been accepted for publication in the journal Information and Computation. The paper presents a novel condition on barrier certificates that witnesses unbounded-time safety of differential dynamical systems and provides algorithms to check these conditions. (This is an extended version of paper published at CAV 2021).