Matches in SemOpenAlex for { <https://semopenalex.org/work/W2982474080> ?p ?o ?g. }
- W2982474080 abstract "Given a family of independent and identically distributed samples extracted from the input region and their corresponding outputs, in this paper we propose a method to under-approximate the set of safe inputs that lead the black-box system to respect a given safety specification. Our method falls within the framework of probably approximately correct (PAC) learning. The computed under-approximation comes with statistical soundness provided by the underlying PAC learning process. Such a set, which we call a PAC under-approximation, is obtained by computing a PAC model of the black-box system with respect to the specified safety specification. In our method, the PAC model is computed based on the scenario approach, which encodes as a linear program. The linear program is constructed based on the given family of input samples and their corresponding outputs. The size of the linear program does not depend on the dimensions of the state space of the black-box system, thus providing scalability. Moreover, the linear program does not depend on the internal mechanism of the black-box system, thus being applicable to systems that existing methods are not capable of dealing with. Some case studies demonstrate these properties, general performance and usefulness of our approach." @default.
- W2982474080 created "2019-11-08" @default.
- W2982474080 creator A5010478725 @default.
- W2982474080 creator A5023363049 @default.
- W2982474080 creator A5057912307 @default.
- W2982474080 creator A5084396416 @default.
- W2982474080 creator A5085248515 @default.
- W2982474080 creator A5089413793 @default.
- W2982474080 date "2019-11-01" @default.
- W2982474080 modified "2023-09-24" @default.
- W2982474080 title "Safe Inputs Approximation for Black-Box Systems" @default.
- W2982474080 cites W1487691575 @default.
- W2982474080 cites W1501691732 @default.
- W2982474080 cites W1535116423 @default.
- W2982474080 cites W1560643704 @default.
- W2982474080 cites W169198699 @default.
- W2982474080 cites W1979236986 @default.
- W2982474080 cites W2015863039 @default.
- W2982474080 cites W2031594799 @default.
- W2982474080 cites W2033455284 @default.
- W2982474080 cites W2034717157 @default.
- W2982474080 cites W2055088712 @default.
- W2982474080 cites W2066778083 @default.
- W2982474080 cites W2080593426 @default.
- W2982474080 cites W2084859862 @default.
- W2982474080 cites W2085891931 @default.
- W2982474080 cites W2086306688 @default.
- W2982474080 cites W2104371886 @default.
- W2982474080 cites W2131295967 @default.
- W2982474080 cites W2150189917 @default.
- W2982474080 cites W2167412190 @default.
- W2982474080 cites W2179730552 @default.
- W2982474080 cites W2483544051 @default.
- W2982474080 cites W2543296129 @default.
- W2982474080 cites W2606692557 @default.
- W2982474080 cites W2606891832 @default.
- W2982474080 cites W2741978752 @default.
- W2982474080 cites W2753415590 @default.
- W2982474080 cites W2773814846 @default.
- W2982474080 cites W2791251367 @default.
- W2982474080 cites W2794609696 @default.
- W2982474080 cites W2796061040 @default.
- W2982474080 cites W2884955533 @default.
- W2982474080 cites W2885185560 @default.
- W2982474080 cites W2888709541 @default.
- W2982474080 cites W2895120768 @default.
- W2982474080 cites W2895591442 @default.
- W2982474080 cites W2922015121 @default.
- W2982474080 cites W2938029150 @default.
- W2982474080 cites W2938701611 @default.
- W2982474080 cites W2942214986 @default.
- W2982474080 cites W2949205117 @default.
- W2982474080 cites W2957905354 @default.
- W2982474080 cites W2962692913 @default.
- W2982474080 cites W2963208512 @default.
- W2982474080 cites W2964102294 @default.
- W2982474080 cites W2964882141 @default.
- W2982474080 cites W2968940383 @default.
- W2982474080 cites W3007157104 @default.
- W2982474080 cites W3009072669 @default.
- W2982474080 doi "https://doi.org/10.1109/iceccs.2019.00027" @default.
- W2982474080 hasPublicationYear "2019" @default.
- W2982474080 type Work @default.
- W2982474080 sameAs 2982474080 @default.
- W2982474080 citedByCount "5" @default.
- W2982474080 countsByYear W29824740802020 @default.
- W2982474080 countsByYear W29824740802021 @default.
- W2982474080 crossrefType "proceedings-article" @default.
- W2982474080 hasAuthorship W2982474080A5010478725 @default.
- W2982474080 hasAuthorship W2982474080A5023363049 @default.
- W2982474080 hasAuthorship W2982474080A5057912307 @default.
- W2982474080 hasAuthorship W2982474080A5084396416 @default.
- W2982474080 hasAuthorship W2982474080A5085248515 @default.
- W2982474080 hasAuthorship W2982474080A5089413793 @default.
- W2982474080 hasBestOaLocation W29824740802 @default.
- W2982474080 hasConcept C105795698 @default.
- W2982474080 hasConcept C11413529 @default.
- W2982474080 hasConcept C122123141 @default.
- W2982474080 hasConcept C126255220 @default.
- W2982474080 hasConcept C134306372 @default.
- W2982474080 hasConcept C141513077 @default.
- W2982474080 hasConcept C149091818 @default.
- W2982474080 hasConcept C154945302 @default.
- W2982474080 hasConcept C162443782 @default.
- W2982474080 hasConcept C177264268 @default.
- W2982474080 hasConcept C186846655 @default.
- W2982474080 hasConcept C199360897 @default.
- W2982474080 hasConcept C2777904410 @default.
- W2982474080 hasConcept C33923547 @default.
- W2982474080 hasConcept C39920170 @default.
- W2982474080 hasConcept C41008148 @default.
- W2982474080 hasConcept C48044578 @default.
- W2982474080 hasConcept C6802819 @default.
- W2982474080 hasConcept C77088390 @default.
- W2982474080 hasConcept C80444323 @default.
- W2982474080 hasConcept C94966114 @default.
- W2982474080 hasConcept C98045186 @default.
- W2982474080 hasConceptScore W2982474080C105795698 @default.
- W2982474080 hasConceptScore W2982474080C11413529 @default.
- W2982474080 hasConceptScore W2982474080C122123141 @default.