Qiuye Wang

Publications with FICTION

Journal Articles

  1. (2022). Encoding Inductive Invariants as Barrier Certificates. Inf. Comput.. PDF Cite Code Slides DOI

Conference Papers

  1. (2021). Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming. In CAV 2021. PDF Cite Slides Video DOI Artifact Evaluated