FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3214220002> ?p ?o ?g. }

• W3214220002 abstract "Finite linear temporal logic ($mathsf{LTL}_f$) is a powerful formal representation for modeling temporal sequences. We address the problem of learning a compact $mathsf{LTL}_f$ formula from labeled traces of system behavior. We propose a novel neural network operator and evaluate the resulting architecture, Neural$mathsf{LTL}_f$. Our approach includes a specialized recurrent filter, designed to subsume $mathsf{LTL}_f$ temporal operators, to learn a highly accurate classifier for traces. Then, it discretizes the activations and extracts the truth table represented by the learned weights. This truth table is converted to symbolic form and returned as the learned formula. Experiments on randomly generated $mathsf{LTL}_f$ formulas show Neural$mathsf{LTL}_f$ scales to larger formula sizes than existing approaches and maintains high accuracy even in the presence of noise." @default.
• W3214220002 created "2021-11-22" @default.
• W3214220002 creator A5009722403 @default.
• W3214220002 creator A5033455504 @default.
• W3214220002 creator A5062413802 @default.
• W3214220002 creator A5064208112 @default.
• W3214220002 date "2021-11-07" @default.
• W3214220002 modified "2023-09-28" @default.
• W3214220002 title "Learning Finite Linear Temporal Logic Specifications with a Specialized Neural Operator." @default.
• W3214220002 cites W1480909796 @default.
• W3214220002 cites W1528278469 @default.
• W3214220002 cites W1593067057 @default.
• W3214220002 cites W1700264732 @default.
• W3214220002 cites W1878188374 @default.
• W3214220002 cites W2023808162 @default.
• W3214220002 cites W2041743477 @default.
• W3214220002 cites W2101926813 @default.
• W3214220002 cites W2153935965 @default.
• W3214220002 cites W2242407529 @default.
• W3214220002 cites W2567705466 @default.
• W3214220002 cites W2605514557 @default.
• W3214220002 cites W2807161818 @default.
• W3214220002 cites W2887933419 @default.
• W3214220002 cites W2964111087 @default.
• W3214220002 cites W2964121744 @default.
• W3214220002 cites W2965569070 @default.
• W3214220002 cites W2966289416 @default.
• W3214220002 cites W3189527130 @default.
• W3214220002 hasPublicationYear "2021" @default.
• W3214220002 type Work @default.
• W3214220002 sameAs 3214220002 @default.
• W3214220002 citedByCount "0" @default.
• W3214220002 crossrefType "posted-content" @default.
• W3214220002 hasAuthorship W3214220002A5009722403 @default.
• W3214220002 hasAuthorship W3214220002A5033455504 @default.
• W3214220002 hasAuthorship W3214220002A5062413802 @default.
• W3214220002 hasAuthorship W3214220002A5064208112 @default.
• W3214220002 hasConcept C104317684 @default.
• W3214220002 hasConcept C106131492 @default.
• W3214220002 hasConcept C11413529 @default.
• W3214220002 hasConcept C118615104 @default.
• W3214220002 hasConcept C136119220 @default.
• W3214220002 hasConcept C154945302 @default.
• W3214220002 hasConcept C158448853 @default.
• W3214220002 hasConcept C17020691 @default.
• W3214220002 hasConcept C17744445 @default.
• W3214220002 hasConcept C185592680 @default.
• W3214220002 hasConcept C199539241 @default.
• W3214220002 hasConcept C202444582 @default.
• W3214220002 hasConcept C25016198 @default.
• W3214220002 hasConcept C2776359362 @default.
• W3214220002 hasConcept C31972630 @default.
• W3214220002 hasConcept C33923547 @default.
• W3214220002 hasConcept C41008148 @default.
• W3214220002 hasConcept C4777664 @default.
• W3214220002 hasConcept C50644808 @default.
• W3214220002 hasConcept C55493867 @default.
• W3214220002 hasConcept C56949724 @default.
• W3214220002 hasConcept C80444323 @default.
• W3214220002 hasConcept C86339819 @default.
• W3214220002 hasConcept C94625758 @default.
• W3214220002 hasConcept C95623464 @default.
• W3214220002 hasConceptScore W3214220002C104317684 @default.
• W3214220002 hasConceptScore W3214220002C106131492 @default.
• W3214220002 hasConceptScore W3214220002C11413529 @default.
• W3214220002 hasConceptScore W3214220002C118615104 @default.
• W3214220002 hasConceptScore W3214220002C136119220 @default.
• W3214220002 hasConceptScore W3214220002C154945302 @default.
• W3214220002 hasConceptScore W3214220002C158448853 @default.
• W3214220002 hasConceptScore W3214220002C17020691 @default.
• W3214220002 hasConceptScore W3214220002C17744445 @default.
• W3214220002 hasConceptScore W3214220002C185592680 @default.
• W3214220002 hasConceptScore W3214220002C199539241 @default.
• W3214220002 hasConceptScore W3214220002C202444582 @default.
• W3214220002 hasConceptScore W3214220002C25016198 @default.
• W3214220002 hasConceptScore W3214220002C2776359362 @default.
• W3214220002 hasConceptScore W3214220002C31972630 @default.
• W3214220002 hasConceptScore W3214220002C33923547 @default.
• W3214220002 hasConceptScore W3214220002C41008148 @default.
• W3214220002 hasConceptScore W3214220002C4777664 @default.
• W3214220002 hasConceptScore W3214220002C50644808 @default.
• W3214220002 hasConceptScore W3214220002C55493867 @default.
• W3214220002 hasConceptScore W3214220002C56949724 @default.
• W3214220002 hasConceptScore W3214220002C80444323 @default.
• W3214220002 hasConceptScore W3214220002C86339819 @default.
• W3214220002 hasConceptScore W3214220002C94625758 @default.
• W3214220002 hasConceptScore W3214220002C95623464 @default.
• W3214220002 hasOpenAccess W3214220002 @default.
• W3214220002 hasRelatedWork W1509545351 @default.
• W3214220002 hasRelatedWork W1539829525 @default.
• W3214220002 hasRelatedWork W1570669451 @default.
• W3214220002 hasRelatedWork W1981889059 @default.
• W3214220002 hasRelatedWork W2103874098 @default.
• W3214220002 hasRelatedWork W2189285614 @default.
• W3214220002 hasRelatedWork W2256753787 @default.
• W3214220002 hasRelatedWork W2365132135 @default.
• W3214220002 hasRelatedWork W2426537415 @default.
• W3214220002 hasRelatedWork W2512033590 @default.
• W3214220002 hasRelatedWork W2736129000 @default.
• W3214220002 hasRelatedWork W2752596881 @default.

• next