Matches in SemOpenAlex for { <https://semopenalex.org/work/W1900583228> ?p ?o ?g. }
- W1900583228 endingPage "2051" @default.
- W1900583228 startingPage "2036" @default.
- W1900583228 abstract "Even with impressive advances in formal methods, certain major challenges remain. Chief among these are environment modeling, incompleteness in specifications, and the hardness of underlying decision problems. In this paper, we characterize two trends that show great promise in meeting these challenges. The first trend is to perform verification by reduction to synthesis. The second is to solve the resulting synthesis problem by integrating traditional, deductive methods with inductive inference (learning from examples) using hypotheses about system structure. We present a formalization of such an integration, show how it can tackle hard problems in verification and synthesis, and outline directions for future work." @default.
- W1900583228 created "2016-06-24" @default.
- W1900583228 creator A5064230639 @default.
- W1900583228 date "2015-11-01" @default.
- W1900583228 modified "2023-10-10" @default.
- W1900583228 title "Combining Induction, Deduction, and Structure for Verification and Synthesis" @default.
- W1900583228 cites W1497843565 @default.
- W1900583228 cites W1506588809 @default.
- W1900583228 cites W1524554243 @default.
- W1900583228 cites W1528837436 @default.
- W1900583228 cites W1534850143 @default.
- W1900583228 cites W1592502301 @default.
- W1900583228 cites W1593428110 @default.
- W1900583228 cites W1599897266 @default.
- W1900583228 cites W1600235415 @default.
- W1900583228 cites W1796872423 @default.
- W1900583228 cites W1822320350 @default.
- W1900583228 cites W1971824836 @default.
- W1900583228 cites W1987902506 @default.
- W1900583228 cites W1991698050 @default.
- W1900583228 cites W1999396796 @default.
- W1900583228 cites W2004463571 @default.
- W1900583228 cites W2011199136 @default.
- W1900583228 cites W2012436850 @default.
- W1900583228 cites W2016206563 @default.
- W1900583228 cites W2017565015 @default.
- W1900583228 cites W2026629052 @default.
- W1900583228 cites W2043100293 @default.
- W1900583228 cites W2049696538 @default.
- W1900583228 cites W2061079066 @default.
- W1900583228 cites W2061291692 @default.
- W1900583228 cites W2078151802 @default.
- W1900583228 cites W2080267935 @default.
- W1900583228 cites W2094878426 @default.
- W1900583228 cites W2095274657 @default.
- W1900583228 cites W2101432564 @default.
- W1900583228 cites W2109525524 @default.
- W1900583228 cites W2117863556 @default.
- W1900583228 cites W2126145967 @default.
- W1900583228 cites W2128076627 @default.
- W1900583228 cites W2134447848 @default.
- W1900583228 cites W2134734244 @default.
- W1900583228 cites W2149236697 @default.
- W1900583228 cites W2151958719 @default.
- W1900583228 cites W2158395308 @default.
- W1900583228 cites W2165364079 @default.
- W1900583228 cites W2170486381 @default.
- W1900583228 cites W2956034981 @default.
- W1900583228 cites W3023554972 @default.
- W1900583228 cites W3145223465 @default.
- W1900583228 cites W4242057943 @default.
- W1900583228 cites W4252861488 @default.
- W1900583228 cites W4292318939 @default.
- W1900583228 cites W4296471858 @default.
- W1900583228 doi "https://doi.org/10.1109/jproc.2015.2471838" @default.
- W1900583228 hasPublicationYear "2015" @default.
- W1900583228 type Work @default.
- W1900583228 sameAs 1900583228 @default.
- W1900583228 citedByCount "27" @default.
- W1900583228 countsByYear W19005832282016 @default.
- W1900583228 countsByYear W19005832282017 @default.
- W1900583228 countsByYear W19005832282018 @default.
- W1900583228 countsByYear W19005832282019 @default.
- W1900583228 countsByYear W19005832282020 @default.
- W1900583228 countsByYear W19005832282021 @default.
- W1900583228 countsByYear W19005832282022 @default.
- W1900583228 countsByYear W19005832282023 @default.
- W1900583228 crossrefType "journal-article" @default.
- W1900583228 hasAuthorship W1900583228A5064230639 @default.
- W1900583228 hasBestOaLocation W19005832282 @default.
- W1900583228 hasConcept C115903868 @default.
- W1900583228 hasConcept C154945302 @default.
- W1900583228 hasConcept C199360897 @default.
- W1900583228 hasConcept C21563000 @default.
- W1900583228 hasConcept C2776214188 @default.
- W1900583228 hasConcept C41008148 @default.
- W1900583228 hasConcept C80444323 @default.
- W1900583228 hasConceptScore W1900583228C115903868 @default.
- W1900583228 hasConceptScore W1900583228C154945302 @default.
- W1900583228 hasConceptScore W1900583228C199360897 @default.
- W1900583228 hasConceptScore W1900583228C21563000 @default.
- W1900583228 hasConceptScore W1900583228C2776214188 @default.
- W1900583228 hasConceptScore W1900583228C41008148 @default.
- W1900583228 hasConceptScore W1900583228C80444323 @default.
- W1900583228 hasFunder F4320306076 @default.
- W1900583228 hasFunder F4320306087 @default.
- W1900583228 hasIssue "11" @default.
- W1900583228 hasLocation W19005832281 @default.
- W1900583228 hasLocation W19005832282 @default.
- W1900583228 hasOpenAccess W1900583228 @default.
- W1900583228 hasPrimaryLocation W19005832281 @default.
- W1900583228 hasRelatedWork W111435178 @default.
- W1900583228 hasRelatedWork W171365577 @default.
- W1900583228 hasRelatedWork W2002762899 @default.
- W1900583228 hasRelatedWork W2050297656 @default.
- W1900583228 hasRelatedWork W2166247150 @default.
- W1900583228 hasRelatedWork W2369508406 @default.
- W1900583228 hasRelatedWork W2945694234 @default.