Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386568800> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W4386568800 endingPage "21" @default.
- W4386568800 startingPage "1" @default.
- W4386568800 abstract "This paper presents a novel approach to safety verification based on neural barrier certificates synthesis for continuous dynamical systems. We construct the synthesis framework as an inductive loop between a Learner and a Verifier based on barrier certificate learning and counterexample guidance. Compared with the counterexample-guided verification method based on the SMT solver, we design and learn neural barrier functions with special structure, and use the special form to convert the counterexample generation into a polynomial optimization problem for obtaining the optimal counterexample. In the verification phase, the task of identifying the real barrier certificate can be tackled by solving the Linear Matrix Inequalities (LMI) feasibility problem, which is efficient and makes the proposed method formally sound. The experimental results demonstrate that our approach is more effective and practical than the traditional SOS-based barrier certificates synthesis and the state-of-the-art neural barrier certificates learning approach." @default.
- W4386568800 created "2023-09-10" @default.
- W4386568800 creator A5049103084 @default.
- W4386568800 creator A5059554537 @default.
- W4386568800 creator A5065028030 @default.
- W4386568800 creator A5079927285 @default.
- W4386568800 creator A5083783779 @default.
- W4386568800 date "2023-09-09" @default.
- W4386568800 modified "2023-09-28" @default.
- W4386568800 title "Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning" @default.
- W4386568800 cites W1496681274 @default.
- W4386568800 cites W1522694098 @default.
- W4386568800 cites W1596877211 @default.
- W4386568800 cites W1607353007 @default.
- W4386568800 cites W1981287157 @default.
- W4386568800 cites W1999629321 @default.
- W4386568800 cites W2033118636 @default.
- W4386568800 cites W2080367663 @default.
- W4386568800 cites W2083862837 @default.
- W4386568800 cites W2084859862 @default.
- W4386568800 cites W2116586985 @default.
- W4386568800 cites W2149236697 @default.
- W4386568800 cites W2194775991 @default.
- W4386568800 cites W2312849699 @default.
- W4386568800 cites W2530699422 @default.
- W4386568800 cites W2536620281 @default.
- W4386568800 cites W2594877703 @default.
- W4386568800 cites W2791251367 @default.
- W4386568800 cites W2964162272 @default.
- W4386568800 cites W3021664313 @default.
- W4386568800 cites W3021850381 @default.
- W4386568800 cites W3104371626 @default.
- W4386568800 cites W3185438801 @default.
- W4386568800 cites W3187110421 @default.
- W4386568800 cites W4238726034 @default.
- W4386568800 cites W4312896090 @default.
- W4386568800 cites W575850752 @default.
- W4386568800 doi "https://doi.org/10.1145/3609125" @default.
- W4386568800 hasPublicationYear "2023" @default.
- W4386568800 type Work @default.
- W4386568800 citedByCount "0" @default.
- W4386568800 crossrefType "journal-article" @default.
- W4386568800 hasAuthorship W4386568800A5049103084 @default.
- W4386568800 hasAuthorship W4386568800A5059554537 @default.
- W4386568800 hasAuthorship W4386568800A5065028030 @default.
- W4386568800 hasAuthorship W4386568800A5079927285 @default.
- W4386568800 hasAuthorship W4386568800A5083783779 @default.
- W4386568800 hasConcept C11413529 @default.
- W4386568800 hasConcept C118615104 @default.
- W4386568800 hasConcept C162838799 @default.
- W4386568800 hasConcept C199360897 @default.
- W4386568800 hasConcept C2778770139 @default.
- W4386568800 hasConcept C33923547 @default.
- W4386568800 hasConcept C41008148 @default.
- W4386568800 hasConcept C96865113 @default.
- W4386568800 hasConceptScore W4386568800C11413529 @default.
- W4386568800 hasConceptScore W4386568800C118615104 @default.
- W4386568800 hasConceptScore W4386568800C162838799 @default.
- W4386568800 hasConceptScore W4386568800C199360897 @default.
- W4386568800 hasConceptScore W4386568800C2778770139 @default.
- W4386568800 hasConceptScore W4386568800C33923547 @default.
- W4386568800 hasConceptScore W4386568800C41008148 @default.
- W4386568800 hasConceptScore W4386568800C96865113 @default.
- W4386568800 hasFunder F4320321001 @default.
- W4386568800 hasIssue "5s" @default.
- W4386568800 hasLocation W43865688001 @default.
- W4386568800 hasOpenAccess W4386568800 @default.
- W4386568800 hasPrimaryLocation W43865688001 @default.
- W4386568800 hasRelatedWork W1545049768 @default.
- W4386568800 hasRelatedWork W1799175318 @default.
- W4386568800 hasRelatedWork W2080076943 @default.
- W4386568800 hasRelatedWork W2282326897 @default.
- W4386568800 hasRelatedWork W2386767533 @default.
- W4386568800 hasRelatedWork W2963186766 @default.
- W4386568800 hasRelatedWork W2967402533 @default.
- W4386568800 hasRelatedWork W4285998983 @default.
- W4386568800 hasRelatedWork W4289552508 @default.
- W4386568800 hasRelatedWork W2491820882 @default.
- W4386568800 hasVolume "22" @default.
- W4386568800 isParatext "false" @default.
- W4386568800 isRetracted "false" @default.
- W4386568800 workType "article" @default.