http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming

Wang, Qiuye (Corresponding author) ; Chen, Mingshuai (Corresponding author)^RWTH* ; Xue, Bai (Corresponding author) ; Zhan, Naijun (Corresponding author) ; Katoen, Joost-Pieter (Corresponding author)^RWTH*

In
Computer-Aided Verification : 33rd International Conference, CAV 2021 : Virtual Event July 20-23, 2021 : Proceedings / Alexandra Silva, Alexandra and K. Rustan M. Leino (Eds.). - Part I, Seiten/Artikel-Nr: 443-466

2021

Konferenz/Event:33. International Conference on Computer-Aided Verification , online , CAV 2021 , 2021-07-20 - 2021-07-23

ImpressumCham, Switzerland : Springer

Umfang443-466

ISBN978-3-030-81684-1, 978-3-030-81685-8

ReiheLecture notes in computer science ; 12759, Theoretical Computer Science and General Issues

Konferenzort: Los Angeles, California, USA

Online
DOI: 10.1007/978-3-030-81685-8_21
10.1007/978-3-030-81685-8_21
DOI: 10.18154/RWTH-2021-06837
URL: https://publications.rwth-aachen.de/record/822586/files/822586.pdf

Einrichtungen

1. Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
2. Fachgruppe Informatik (120000)

Projekte

1. FRAPPANT - Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation (787914) (787914)

Inhaltliche Beschreibung (Schlagwörter)
barrier certificates (frei) ; bilinear matrix inequalities (frei) ; difference-of-convex programming (frei) ; inductive invariants (frei) ; semidefinite programming (frei)

OpenAccess:
PDF

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online, print

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85113475254
WOS Core Collection: WOS:000698732400021
OpenAlex: W3185235159

Interne Identnummern
RWTH-2021-06837
Datensatz-ID: 822586

Beteiligte Länder
Germany, Peoples R China