FRINK Linked Data Fragments server

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

• W2952792906 abstract "QCTL extends the temporal logic CTL with quantifications over atomic propositions. This extension is known to be very expressive: QCTL allows us to express complex properties over Kripke structures (it is as expressive as MSO). Several semantics exist for the quantifications: here, we work with the structure semantics, where the extra propositions label the Kripke structure (and not its execution tree), and the model-checking problem is known to be PSPACE-complete in this framework. We propose a model-checking algorithm for QCTL based on a reduction to QBF. We consider several reduction strategies, and we compare them with a prototype (based on the SMT-solver Z3) on several examples." @default.
• W2952792906 created "2019-06-27" @default.
• W2952792906 creator A5020292388 @default.
• W2952792906 creator A5073507370 @default.
• W2952792906 date "2019-06-24" @default.
• W2952792906 modified "2023-09-27" @default.
• W2952792906 title "From Quantified CTL to QBF" @default.
• W2952792906 cites W103048026 @default.
• W2952792906 cites W1499833455 @default.
• W2952792906 cites W1553432043 @default.
• W2952792906 cites W1558152194 @default.
• W2952792906 cites W1583869287 @default.
• W2952792906 cites W1590315663 @default.
• W2952792906 cites W1787074469 @default.
• W2952792906 cites W2023808162 @default.
• W2952792906 cites W2076879179 @default.
• W2952792906 cites W2153871866 @default.
• W2952792906 cites W2154938325 @default.
• W2952792906 cites W2167907675 @default.
• W2952792906 cites W824553004 @default.
• W2952792906 hasPublicationYear "2019" @default.
• W2952792906 type Work @default.
• W2952792906 sameAs 2952792906 @default.
• W2952792906 citedByCount "1" @default.
• W2952792906 countsByYear W29527929062020 @default.
• W2952792906 crossrefType "posted-content" @default.
• W2952792906 hasAuthorship W2952792906A5020292388 @default.
• W2952792906 hasAuthorship W2952792906A5073507370 @default.
• W2952792906 hasConcept C102993220 @default.
• W2952792906 hasConcept C110251889 @default.
• W2952792906 hasConcept C111335779 @default.
• W2952792906 hasConcept C113174947 @default.
• W2952792906 hasConcept C11413529 @default.
• W2952792906 hasConcept C114614502 @default.
• W2952792906 hasConcept C147969180 @default.
• W2952792906 hasConcept C154317977 @default.
• W2952792906 hasConcept C154945302 @default.
• W2952792906 hasConcept C160131679 @default.
• W2952792906 hasConcept C161913894 @default.
• W2952792906 hasConcept C179799912 @default.
• W2952792906 hasConcept C184337299 @default.
• W2952792906 hasConcept C185592680 @default.
• W2952792906 hasConcept C197685441 @default.
• W2952792906 hasConcept C198008173 @default.
• W2952792906 hasConcept C199360897 @default.
• W2952792906 hasConcept C202751555 @default.
• W2952792906 hasConcept C203659156 @default.
• W2952792906 hasConcept C25016198 @default.
• W2952792906 hasConcept C2524010 @default.
• W2952792906 hasConcept C2777530160 @default.
• W2952792906 hasConcept C2778029271 @default.
• W2952792906 hasConcept C2778770139 @default.
• W2952792906 hasConcept C33923547 @default.
• W2952792906 hasConcept C34849589 @default.
• W2952792906 hasConcept C41008148 @default.
• W2952792906 hasConcept C55493867 @default.
• W2952792906 hasConcept C80444323 @default.
• W2952792906 hasConceptScore W2952792906C102993220 @default.
• W2952792906 hasConceptScore W2952792906C110251889 @default.
• W2952792906 hasConceptScore W2952792906C111335779 @default.
• W2952792906 hasConceptScore W2952792906C113174947 @default.
• W2952792906 hasConceptScore W2952792906C11413529 @default.
• W2952792906 hasConceptScore W2952792906C114614502 @default.
• W2952792906 hasConceptScore W2952792906C147969180 @default.
• W2952792906 hasConceptScore W2952792906C154317977 @default.
• W2952792906 hasConceptScore W2952792906C154945302 @default.
• W2952792906 hasConceptScore W2952792906C160131679 @default.
• W2952792906 hasConceptScore W2952792906C161913894 @default.
• W2952792906 hasConceptScore W2952792906C179799912 @default.
• W2952792906 hasConceptScore W2952792906C184337299 @default.
• W2952792906 hasConceptScore W2952792906C185592680 @default.
• W2952792906 hasConceptScore W2952792906C197685441 @default.
• W2952792906 hasConceptScore W2952792906C198008173 @default.
• W2952792906 hasConceptScore W2952792906C199360897 @default.
• W2952792906 hasConceptScore W2952792906C202751555 @default.
• W2952792906 hasConceptScore W2952792906C203659156 @default.
• W2952792906 hasConceptScore W2952792906C25016198 @default.
• W2952792906 hasConceptScore W2952792906C2524010 @default.
• W2952792906 hasConceptScore W2952792906C2777530160 @default.
• W2952792906 hasConceptScore W2952792906C2778029271 @default.
• W2952792906 hasConceptScore W2952792906C2778770139 @default.
• W2952792906 hasConceptScore W2952792906C33923547 @default.
• W2952792906 hasConceptScore W2952792906C34849589 @default.
• W2952792906 hasConceptScore W2952792906C41008148 @default.
• W2952792906 hasConceptScore W2952792906C55493867 @default.
• W2952792906 hasConceptScore W2952792906C80444323 @default.
• W2952792906 hasLocation W29527929061 @default.
• W2952792906 hasOpenAccess W2952792906 @default.
• W2952792906 hasPrimaryLocation W29527929061 @default.
• W2952792906 hasRelatedWork W134591393 @default.
• W2952792906 hasRelatedWork W1597499909 @default.
• W2952792906 hasRelatedWork W1855767292 @default.
• W2952792906 hasRelatedWork W2015370791 @default.
• W2952792906 hasRelatedWork W2023733779 @default.
• W2952792906 hasRelatedWork W2030370161 @default.
• W2952792906 hasRelatedWork W2037416037 @default.
• W2952792906 hasRelatedWork W2087411240 @default.
• W2952792906 hasRelatedWork W2127044478 @default.
• W2952792906 hasRelatedWork W2252821131 @default.
• W2952792906 hasRelatedWork W2575395113 @default.

• next