guest ::
Encoding inductive invariants as barrier certificates : Synthesis via difference-of-convex programming
; ; ; ;
In
Information and computation 289(A), Seiten/Artikel-Nr.:104965
2022
Available online 22 September 2022
Online
DOI: 10.1016/j.ic.2022.104965
URL: https://publications.rwth-aachen.de/record/853946/files/853946.pdf
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
Projekte
- FRAPPANT - Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation (787914) (787914)
- MISSION - Models in Space Systems: Integration, Operation, and Networking (101008233) (101008233)
Inhaltliche Beschreibung (Schlagwörter)
Barrier certificates (frei) ; bilinear matrix inequalities (frei) ; difference-of-convex programming (frei) ; inductive invariants (frei) ; semidefinite programming (frei)
Thematische Einordnung (Klassifikation)
DDC: 004
Restricted: 
PDF
Dokumenttyp
Journal Article
Format
online
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85139329656
WOS Core Collection: WOS:000914897100026
Interne Identnummern
RWTH-2022-09180
Datensatz-ID: 853946
Beteiligte Länder
Germany, Peoples R China
; Clarivate Analytics Master Journal List ; Current Contents - Engineering, Computing and Technology ; Ebsco Academic Search ; Essential Science Indicators ; IF < 5 ; JCR ; SCOPUS ; Science Citation Index Expanded ; Web of Science Core Collection
|
The record appears in these collections: |
PDF