External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming

Qiuye Wang, Mingshuai Chen, Bai Xue 0001, Naijun Zhan, Joost-Pieter Katoen. Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming. In Alexandra Silva 0001, K. Rustan M. Leino, editors, Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I. Volume 12759 of Lecture Notes in Computer Science, pages 443-466, Springer, 2021. [doi]

Authors

Qiuye Wang

This author has not been identified. Look up 'Qiuye Wang' in Google

Mingshuai Chen

This author has not been identified. Look up 'Mingshuai Chen' in Google

Bai Xue 0001

This author has not been identified. Look up 'Bai Xue 0001' in Google

Naijun Zhan

This author has not been identified. Look up 'Naijun Zhan' in Google

Joost-Pieter Katoen

This author has not been identified. It may be one of the following persons: Look up 'Joost-Pieter Katoen' in Google
runs on