Matches in SemOpenAlex for { <https://semopenalex.org/work/W4225552246> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4225552246 abstract "Closed-loop verification of cyber-physical systems with neural network controllers offers strong safety guarantees under certain assumptions. It is, however, difficult to determine whether these guarantees apply at run time because verification assumptions may be violated. To predict safety violations in a verified system, we propose a three-step confidence composition (CoCo) framework for monitoring verification assumptions. First, we represent the sufficient condition for verified safety with a propositional logical formula over assumptions. Second, we build calibrated confidence monitors that evaluate the probability that each assumption holds. Third, we obtain the confidence in the verification guarantees by composing the assumption monitors using a composition function suitable for the logical formula. Our CoCo framework provides theoretical bounds on the calibration and conservatism of compositional monitors. Two case studies show that compositional monitors are calibrated better than their constituents and successfully predict safety violations." @default.
- W4225552246 created "2022-05-05" @default.
- W4225552246 creator A5021509994 @default.
- W4225552246 creator A5030456600 @default.
- W4225552246 creator A5035357485 @default.
- W4225552246 creator A5035774013 @default.
- W4225552246 creator A5068946140 @default.
- W4225552246 creator A5081521997 @default.
- W4225552246 creator A5082105260 @default.
- W4225552246 date "2021-11-03" @default.
- W4225552246 modified "2023-09-27" @default.
- W4225552246 title "Confidence Composition for Monitors of Verification Assumptions" @default.
- W4225552246 doi "https://doi.org/10.48550/arxiv.2111.03782" @default.
- W4225552246 hasPublicationYear "2021" @default.
- W4225552246 type Work @default.
- W4225552246 citedByCount "0" @default.
- W4225552246 crossrefType "posted-content" @default.
- W4225552246 hasAuthorship W4225552246A5021509994 @default.
- W4225552246 hasAuthorship W4225552246A5030456600 @default.
- W4225552246 hasAuthorship W4225552246A5035357485 @default.
- W4225552246 hasAuthorship W4225552246A5035774013 @default.
- W4225552246 hasAuthorship W4225552246A5068946140 @default.
- W4225552246 hasAuthorship W4225552246A5081521997 @default.
- W4225552246 hasAuthorship W4225552246A5082105260 @default.
- W4225552246 hasBestOaLocation W42255522461 @default.
- W4225552246 hasConcept C105795698 @default.
- W4225552246 hasConcept C111498074 @default.
- W4225552246 hasConcept C11413529 @default.
- W4225552246 hasConcept C138885662 @default.
- W4225552246 hasConcept C14036430 @default.
- W4225552246 hasConcept C165838908 @default.
- W4225552246 hasConcept C33923547 @default.
- W4225552246 hasConcept C40231798 @default.
- W4225552246 hasConcept C41008148 @default.
- W4225552246 hasConcept C41895202 @default.
- W4225552246 hasConcept C44249647 @default.
- W4225552246 hasConcept C78458016 @default.
- W4225552246 hasConcept C86803240 @default.
- W4225552246 hasConceptScore W4225552246C105795698 @default.
- W4225552246 hasConceptScore W4225552246C111498074 @default.
- W4225552246 hasConceptScore W4225552246C11413529 @default.
- W4225552246 hasConceptScore W4225552246C138885662 @default.
- W4225552246 hasConceptScore W4225552246C14036430 @default.
- W4225552246 hasConceptScore W4225552246C165838908 @default.
- W4225552246 hasConceptScore W4225552246C33923547 @default.
- W4225552246 hasConceptScore W4225552246C40231798 @default.
- W4225552246 hasConceptScore W4225552246C41008148 @default.
- W4225552246 hasConceptScore W4225552246C41895202 @default.
- W4225552246 hasConceptScore W4225552246C44249647 @default.
- W4225552246 hasConceptScore W4225552246C78458016 @default.
- W4225552246 hasConceptScore W4225552246C86803240 @default.
- W4225552246 hasLocation W42255522461 @default.
- W4225552246 hasOpenAccess W4225552246 @default.
- W4225552246 hasPrimaryLocation W42255522461 @default.
- W4225552246 hasRelatedWork W2020562115 @default.
- W4225552246 hasRelatedWork W2351491280 @default.
- W4225552246 hasRelatedWork W2352623374 @default.
- W4225552246 hasRelatedWork W2371447506 @default.
- W4225552246 hasRelatedWork W2375620047 @default.
- W4225552246 hasRelatedWork W2379517208 @default.
- W4225552246 hasRelatedWork W2386767533 @default.
- W4225552246 hasRelatedWork W303980170 @default.
- W4225552246 hasRelatedWork W3098582471 @default.
- W4225552246 hasRelatedWork W3141679561 @default.
- W4225552246 isParatext "false" @default.
- W4225552246 isRetracted "false" @default.
- W4225552246 workType "article" @default.