Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming
Information and Computation, vol. 289, pp. 104965
Authors 5
-
Chinese Academy of Sciences · Institute of Software · University of Chinese Academy of Sciences · State Key Laboratory of Computer Science
Affiliation as printed
State Key Laboratory of Computer Science, Institute of Software, CAS, Beijing, China
University of Chinese Academy of Sciences, Beijing, China
-
Affiliation as printed
RWTH Aachen University, Aachen, Germany
-
Chinese Academy of Sciences · Institute of Software · University of Chinese Academy of Sciences · State Key Laboratory of Computer Science
Affiliation as printed
State Key Laboratory of Computer Science, Institute of Software, CAS, Beijing, China
University of Chinese Academy of Sciences, Beijing, China
-
Naijun Zhan corresponding
Chinese Academy of Sciences · Institute of Software · University of Chinese Academy of Sciences · State Key Laboratory of Computer Science
Affiliation as printed
Science and Technology on Integrated Information System Laboratory, Institute of Software, CAS, Beijing, China
State Key Laboratory of Computer Science, Institute of Software, CAS, Beijing, China
University of Chinese Academy of Sciences, Beijing, China
-
Joost-Pieter Katoen Aachen
Affiliation as printed
RWTH Aachen University, Aachen, Germany
Cited by 9 stored of 9
9 results
No patents citing this paper on Lens.org (checked 2026-10-06).