Matches in SemOpenAlex for { <https://semopenalex.org/work/W1971824836> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1971824836 abstract "Even with impressive advances in formal verification, certain major challenges remain. Chief amongst these are environment modeling, incompleteness in specifications, and the complexity of underlying decision problems." @default.
- W1971824836 created "2016-06-24" @default.
- W1971824836 creator A5064230639 @default.
- W1971824836 date "2012-06-03" @default.
- W1971824836 modified "2023-10-18" @default.
- W1971824836 title "Sciduction" @default.
- W1971824836 cites W1497843565 @default.
- W1971824836 cites W1503575278 @default.
- W1971824836 cites W1510368738 @default.
- W1971824836 cites W1524554243 @default.
- W1971824836 cites W1528837436 @default.
- W1971824836 cites W18903975 @default.
- W1971824836 cites W1987902506 @default.
- W1971824836 cites W1999396796 @default.
- W1971824836 cites W2004463571 @default.
- W1971824836 cites W2012436850 @default.
- W1971824836 cites W2016206563 @default.
- W1971824836 cites W2018161659 @default.
- W1971824836 cites W2020764470 @default.
- W1971824836 cites W2061079066 @default.
- W1971824836 cites W2061291692 @default.
- W1971824836 cites W2065176321 @default.
- W1971824836 cites W2076285066 @default.
- W1971824836 cites W2080267935 @default.
- W1971824836 cites W2101432564 @default.
- W1971824836 cites W2109525524 @default.
- W1971824836 cites W2117618193 @default.
- W1971824836 cites W2117863556 @default.
- W1971824836 cites W2126145967 @default.
- W1971824836 cites W2128076627 @default.
- W1971824836 cites W2134734244 @default.
- W1971824836 cites W2139709458 @default.
- W1971824836 cites W2149236697 @default.
- W1971824836 cites W2293033107 @default.
- W1971824836 cites W3023554972 @default.
- W1971824836 cites W4235130846 @default.
- W1971824836 cites W4242057943 @default.
- W1971824836 doi "https://doi.org/10.1145/2228360.2228425" @default.
- W1971824836 hasPublicationYear "2012" @default.
- W1971824836 type Work @default.
- W1971824836 sameAs 1971824836 @default.
- W1971824836 citedByCount "27" @default.
- W1971824836 countsByYear W19718248362013 @default.
- W1971824836 countsByYear W19718248362014 @default.
- W1971824836 countsByYear W19718248362015 @default.
- W1971824836 countsByYear W19718248362016 @default.
- W1971824836 countsByYear W19718248362017 @default.
- W1971824836 countsByYear W19718248362018 @default.
- W1971824836 countsByYear W19718248362019 @default.
- W1971824836 countsByYear W19718248362021 @default.
- W1971824836 countsByYear W19718248362022 @default.
- W1971824836 countsByYear W19718248362023 @default.
- W1971824836 crossrefType "proceedings-article" @default.
- W1971824836 hasAuthorship W1971824836A5064230639 @default.
- W1971824836 hasConcept C41008148 @default.
- W1971824836 hasConceptScore W1971824836C41008148 @default.
- W1971824836 hasFunder F4320306087 @default.
- W1971824836 hasFunder F4320337388 @default.
- W1971824836 hasLocation W19718248361 @default.
- W1971824836 hasOpenAccess W1971824836 @default.
- W1971824836 hasPrimaryLocation W19718248361 @default.
- W1971824836 hasRelatedWork W1596801655 @default.
- W1971824836 hasRelatedWork W2130043461 @default.
- W1971824836 hasRelatedWork W2350741829 @default.
- W1971824836 hasRelatedWork W2358668433 @default.
- W1971824836 hasRelatedWork W2376932109 @default.
- W1971824836 hasRelatedWork W2382290278 @default.
- W1971824836 hasRelatedWork W2390279801 @default.
- W1971824836 hasRelatedWork W2748952813 @default.
- W1971824836 hasRelatedWork W2899084033 @default.
- W1971824836 hasRelatedWork W2530322880 @default.
- W1971824836 isParatext "false" @default.
- W1971824836 isRetracted "false" @default.
- W1971824836 magId "1971824836" @default.
- W1971824836 workType "article" @default.