FRINK Linked Data Fragments server

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

• W3105482502 abstract "We define the problem of learning a transducer ${S}$ from a target language $U$ containing possibly conflicting transducers, using membership queries and conjecture queries. The requirement is that the language of ${S}$ be a subset of $U$. We argue that this is a natural question in many situations in hardware and software verification. We devise a learning algorithm for this problem and show that its time and query complexity is polynomial with respect to the rank of the target language, its incompatibility measure, and the maximal length of a given counterexample. We report on experiments conducted with a prototype implementation." @default.
• W3105482502 created "2020-11-23" @default.
• W3105482502 creator A5003817717 @default.
• W3105482502 creator A5011120024 @default.
• W3105482502 creator A5053520475 @default.
• W3105482502 creator A5053852359 @default.
• W3105482502 creator A5071277490 @default.
• W3105482502 date "2020-11-15" @default.
• W3105482502 modified "2023-09-27" @default.
• W3105482502 title "Safety Synthesis Sans Specification." @default.
• W3105482502 cites W1529010373 @default.
• W3105482502 cites W1540180001 @default.
• W3105482502 cites W1556566737 @default.
• W3105482502 cites W1571337480 @default.
• W3105482502 cites W179423627 @default.
• W3105482502 cites W1840142437 @default.
• W3105482502 cites W1916774567 @default.
• W3105482502 cites W1974713491 @default.
• W3105482502 cites W1989445634 @default.
• W3105482502 cites W2008387578 @default.
• W3105482502 cites W2012436850 @default.
• W3105482502 cites W2023808162 @default.
• W3105482502 cites W2059312600 @default.
• W3105482502 cites W2103976262 @default.
• W3105482502 cites W2132525863 @default.
• W3105482502 cites W2140606869 @default.
• W3105482502 cites W2206957158 @default.
• W3105482502 cites W2295721640 @default.
• W3105482502 cites W2480934395 @default.
• W3105482502 cites W2583228413 @default.
• W3105482502 cites W2735151197 @default.
• W3105482502 cites W2807161818 @default.
• W3105482502 cites W2901330051 @default.
• W3105482502 cites W3003447335 @default.
• W3105482502 cites W645876618 @default.
• W3105482502 hasPublicationYear "2020" @default.
• W3105482502 type Work @default.
• W3105482502 sameAs 3105482502 @default.
• W3105482502 citedByCount "0" @default.
• W3105482502 crossrefType "posted-content" @default.
• W3105482502 hasAuthorship W3105482502A5003817717 @default.
• W3105482502 hasAuthorship W3105482502A5011120024 @default.
• W3105482502 hasAuthorship W3105482502A5053520475 @default.
• W3105482502 hasAuthorship W3105482502A5053852359 @default.
• W3105482502 hasAuthorship W3105482502A5071277490 @default.
• W3105482502 hasConcept C11413529 @default.
• W3105482502 hasConcept C114614502 @default.
• W3105482502 hasConcept C118615104 @default.
• W3105482502 hasConcept C121332964 @default.
• W3105482502 hasConcept C124101348 @default.
• W3105482502 hasConcept C154945302 @default.
• W3105482502 hasConcept C162838799 @default.
• W3105482502 hasConcept C164226766 @default.
• W3105482502 hasConcept C195324797 @default.
• W3105482502 hasConcept C199360897 @default.
• W3105482502 hasConcept C2780009758 @default.
• W3105482502 hasConcept C2780990831 @default.
• W3105482502 hasConcept C311688 @default.
• W3105482502 hasConcept C33923547 @default.
• W3105482502 hasConcept C41008148 @default.
• W3105482502 hasConcept C56318395 @default.
• W3105482502 hasConcept C62520636 @default.
• W3105482502 hasConcept C80444323 @default.
• W3105482502 hasConceptScore W3105482502C11413529 @default.
• W3105482502 hasConceptScore W3105482502C114614502 @default.
• W3105482502 hasConceptScore W3105482502C118615104 @default.
• W3105482502 hasConceptScore W3105482502C121332964 @default.
• W3105482502 hasConceptScore W3105482502C124101348 @default.
• W3105482502 hasConceptScore W3105482502C154945302 @default.
• W3105482502 hasConceptScore W3105482502C162838799 @default.
• W3105482502 hasConceptScore W3105482502C164226766 @default.
• W3105482502 hasConceptScore W3105482502C195324797 @default.
• W3105482502 hasConceptScore W3105482502C199360897 @default.
• W3105482502 hasConceptScore W3105482502C2780009758 @default.
• W3105482502 hasConceptScore W3105482502C2780990831 @default.
• W3105482502 hasConceptScore W3105482502C311688 @default.
• W3105482502 hasConceptScore W3105482502C33923547 @default.
• W3105482502 hasConceptScore W3105482502C41008148 @default.
• W3105482502 hasConceptScore W3105482502C56318395 @default.
• W3105482502 hasConceptScore W3105482502C62520636 @default.
• W3105482502 hasConceptScore W3105482502C80444323 @default.
• W3105482502 hasLocation W31054825021 @default.
• W3105482502 hasOpenAccess W3105482502 @default.
• W3105482502 hasPrimaryLocation W31054825021 @default.
• W3105482502 hasRelatedWork W111435178 @default.
• W3105482502 hasRelatedWork W1549147858 @default.
• W3105482502 hasRelatedWork W1580088798 @default.
• W3105482502 hasRelatedWork W1942516780 @default.
• W3105482502 hasRelatedWork W1989267168 @default.
• W3105482502 hasRelatedWork W1989783863 @default.
• W3105482502 hasRelatedWork W2007578346 @default.
• W3105482502 hasRelatedWork W2039914844 @default.
• W3105482502 hasRelatedWork W2044922487 @default.
• W3105482502 hasRelatedWork W2070553391 @default.
• W3105482502 hasRelatedWork W2151906985 @default.
• W3105482502 hasRelatedWork W2226936361 @default.
• W3105482502 hasRelatedWork W2294862448 @default.
• W3105482502 hasRelatedWork W2714643361 @default.
• W3105482502 hasRelatedWork W2731851135 @default.
• W3105482502 hasRelatedWork W2914051670 @default.

• next