Matches in SemOpenAlex for { <https://semopenalex.org/work/W4225558829> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W4225558829 endingPage "300" @default.
- W4225558829 startingPage "281" @default.
- W4225558829 abstract "Abstract We introduce a similarity function on formulae of signal temporal logic (STL). It comes in the form of a kernel function , well known in machine learning as a conceptually and computationally efficient tool. The corresponding kernel trick allows us to circumvent the complicated process of feature extraction, i.e. the (typically manual) effort to identify the decisive properties of formulae so that learning can be applied. We demonstrate this consequence and its advantages on the task of predicting (quantitative) satisfaction of STL formulae on stochastic processes: Using our kernel and the kernel trick, we learn (i) computationally efficiently (ii) a practically precise predictor of satisfaction, (iii) avoiding the difficult task of finding a way to explicitly turn formulae into vectors of numbers in a sensible way. We back the high precision we have achieved in the experiments by a theoretically sound PAC guarantee, ensuring our procedure efficiently delivers a close-to-optimal predictor." @default.
- W4225558829 created "2022-05-05" @default.
- W4225558829 creator A5021825279 @default.
- W4225558829 creator A5060744592 @default.
- W4225558829 creator A5074485601 @default.
- W4225558829 creator A5085530658 @default.
- W4225558829 date "2022-01-01" @default.
- W4225558829 modified "2023-10-03" @default.
- W4225558829 title "Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes" @default.
- W4225558829 cites W1489725951 @default.
- W4225558829 cites W1510073064 @default.
- W4225558829 cites W1545761024 @default.
- W4225558829 cites W1547304883 @default.
- W4225558829 cites W181236562 @default.
- W4225558829 cites W1972402079 @default.
- W4225558829 cites W2067191022 @default.
- W4225558829 cites W2101804404 @default.
- W4225558829 cites W2162556737 @default.
- W4225558829 cites W2339807279 @default.
- W4225558829 cites W2345655206 @default.
- W4225558829 cites W2785700716 @default.
- W4225558829 cites W2883465722 @default.
- W4225558829 cites W2886037486 @default.
- W4225558829 cites W2912640545 @default.
- W4225558829 cites W2963593407 @default.
- W4225558829 cites W2978342210 @default.
- W4225558829 cites W2981602668 @default.
- W4225558829 cites W3010924044 @default.
- W4225558829 cites W3154370202 @default.
- W4225558829 cites W4211049957 @default.
- W4225558829 doi "https://doi.org/10.1007/978-3-030-99524-9_15" @default.
- W4225558829 hasPublicationYear "2022" @default.
- W4225558829 type Work @default.
- W4225558829 citedByCount "1" @default.
- W4225558829 crossrefType "book-chapter" @default.
- W4225558829 hasAuthorship W4225558829A5021825279 @default.
- W4225558829 hasAuthorship W4225558829A5060744592 @default.
- W4225558829 hasAuthorship W4225558829A5074485601 @default.
- W4225558829 hasAuthorship W4225558829A5085530658 @default.
- W4225558829 hasBestOaLocation W42255588291 @default.
- W4225558829 hasConcept C103278499 @default.
- W4225558829 hasConcept C11413529 @default.
- W4225558829 hasConcept C115961682 @default.
- W4225558829 hasConcept C118615104 @default.
- W4225558829 hasConcept C119857082 @default.
- W4225558829 hasConcept C122280245 @default.
- W4225558829 hasConcept C12267149 @default.
- W4225558829 hasConcept C14036430 @default.
- W4225558829 hasConcept C154945302 @default.
- W4225558829 hasConcept C160446489 @default.
- W4225558829 hasConcept C162324750 @default.
- W4225558829 hasConcept C187736073 @default.
- W4225558829 hasConcept C25016198 @default.
- W4225558829 hasConcept C2780451532 @default.
- W4225558829 hasConcept C33923547 @default.
- W4225558829 hasConcept C41008148 @default.
- W4225558829 hasConcept C74193536 @default.
- W4225558829 hasConcept C78458016 @default.
- W4225558829 hasConcept C80444323 @default.
- W4225558829 hasConcept C86803240 @default.
- W4225558829 hasConceptScore W4225558829C103278499 @default.
- W4225558829 hasConceptScore W4225558829C11413529 @default.
- W4225558829 hasConceptScore W4225558829C115961682 @default.
- W4225558829 hasConceptScore W4225558829C118615104 @default.
- W4225558829 hasConceptScore W4225558829C119857082 @default.
- W4225558829 hasConceptScore W4225558829C122280245 @default.
- W4225558829 hasConceptScore W4225558829C12267149 @default.
- W4225558829 hasConceptScore W4225558829C14036430 @default.
- W4225558829 hasConceptScore W4225558829C154945302 @default.
- W4225558829 hasConceptScore W4225558829C160446489 @default.
- W4225558829 hasConceptScore W4225558829C162324750 @default.
- W4225558829 hasConceptScore W4225558829C187736073 @default.
- W4225558829 hasConceptScore W4225558829C25016198 @default.
- W4225558829 hasConceptScore W4225558829C2780451532 @default.
- W4225558829 hasConceptScore W4225558829C33923547 @default.
- W4225558829 hasConceptScore W4225558829C41008148 @default.
- W4225558829 hasConceptScore W4225558829C74193536 @default.
- W4225558829 hasConceptScore W4225558829C78458016 @default.
- W4225558829 hasConceptScore W4225558829C80444323 @default.
- W4225558829 hasConceptScore W4225558829C86803240 @default.
- W4225558829 hasLocation W42255588291 @default.
- W4225558829 hasLocation W42255588292 @default.
- W4225558829 hasLocation W42255588293 @default.
- W4225558829 hasOpenAccess W4225558829 @default.
- W4225558829 hasPrimaryLocation W42255588291 @default.
- W4225558829 hasRelatedWork W1028655896 @default.
- W4225558829 hasRelatedWork W1822011595 @default.
- W4225558829 hasRelatedWork W1932525473 @default.
- W4225558829 hasRelatedWork W2084460089 @default.
- W4225558829 hasRelatedWork W2092483655 @default.
- W4225558829 hasRelatedWork W2140869420 @default.
- W4225558829 hasRelatedWork W2353199197 @default.
- W4225558829 hasRelatedWork W2357150443 @default.
- W4225558829 hasRelatedWork W2393746448 @default.
- W4225558829 hasRelatedWork W3123056048 @default.
- W4225558829 isParatext "false" @default.
- W4225558829 isRetracted "false" @default.
- W4225558829 workType "book-chapter" @default.