FRINK Linked Data Fragments server

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

• W2015370791 endingPage "59" @default.
• W2015370791 startingPage "44" @default.
• W2015370791 abstract "In order to deal with the systematic verification with uncertain information in possibility theory, Li and Li (2013) introduced model checking of linear-time properties in which the uncertainty is modeled by possibility measures. Xue, Lei and Li (2011) defined computation tree logic (CTL) based on possibility measures, which is called possibilistic CTL (PoCTL). This paper is a continuation of the above work. First, we study the expressiveness of PoCTL. Unlike probabilistic CTL, it is shown that PoCTL (in particular, qualitative PoCTL) is more powerful than CTL with respect to their expressiveness. The equivalent expressions of basic CTL formulae using qualitative PoCTL formulae are presented in detail. Some PoCTL formulae that cannot be expressed by any CTL formulae are presented. In particular, some qualitative properties of repeated reachability and persistence are expressed using PoCTL formulae. Next, adapting CTL model-checking algorithm, a method to solve the PoCTL model-checking problem and its time complexity are discussed in detail. Finally, an example is given to illustrate the PoCTL model-checking method." @default.
• W2015370791 created "2016-06-24" @default.
• W2015370791 creator A5010955040 @default.
• W2015370791 creator A5018324791 @default.
• W2015370791 creator A5069146852 @default.
• W2015370791 date "2015-03-01" @default.
• W2015370791 modified "2023-10-12" @default.
• W2015370791 title "Computation tree logic model checking based on possibility measures" @default.
• W2015370791 cites W1608935641 @default.
• W2015370791 cites W1974680648 @default.
• W2015370791 cites W1975037151 @default.
• W2015370791 cites W1988360665 @default.
• W2015370791 cites W2058062479 @default.
• W2015370791 cites W2081763828 @default.
• W2015370791 cites W2117189826 @default.
• W2015370791 cites W2132170793 @default.
• W2015370791 cites W2144692807 @default.
• W2015370791 cites W2166163089 @default.
• W2015370791 cites W2168425309 @default.
• W2015370791 cites W2171367656 @default.
• W2015370791 cites W4211007335 @default.
• W2015370791 cites W4230588984 @default.
• W2015370791 doi "https://doi.org/10.1016/j.fss.2014.03.009" @default.
• W2015370791 hasPublicationYear "2015" @default.
• W2015370791 type Work @default.
• W2015370791 sameAs 2015370791 @default.
• W2015370791 citedByCount "37" @default.
• W2015370791 countsByYear W20153707912014 @default.
• W2015370791 countsByYear W20153707912015 @default.
• W2015370791 countsByYear W20153707912016 @default.
• W2015370791 countsByYear W20153707912017 @default.
• W2015370791 countsByYear W20153707912018 @default.
• W2015370791 countsByYear W20153707912019 @default.
• W2015370791 countsByYear W20153707912020 @default.
• W2015370791 countsByYear W20153707912021 @default.
• W2015370791 countsByYear W20153707912022 @default.
• W2015370791 countsByYear W20153707912023 @default.
• W2015370791 crossrefType "journal-article" @default.
• W2015370791 hasAuthorship W2015370791A5010955040 @default.
• W2015370791 hasAuthorship W2015370791A5018324791 @default.
• W2015370791 hasAuthorship W2015370791A5069146852 @default.
• W2015370791 hasBestOaLocation W20153707912 @default.
• W2015370791 hasConcept C105795698 @default.
• W2015370791 hasConcept C110251889 @default.
• W2015370791 hasConcept C11413529 @default.
• W2015370791 hasConcept C136643341 @default.
• W2015370791 hasConcept C147969180 @default.
• W2015370791 hasConcept C154317977 @default.
• W2015370791 hasConcept C185592680 @default.
• W2015370791 hasConcept C198008173 @default.
• W2015370791 hasConcept C199360897 @default.
• W2015370791 hasConcept C202751555 @default.
• W2015370791 hasConcept C24404364 @default.
• W2015370791 hasConcept C25016198 @default.
• W2015370791 hasConcept C33923547 @default.
• W2015370791 hasConcept C41008148 @default.
• W2015370791 hasConcept C45374587 @default.
• W2015370791 hasConcept C49937458 @default.
• W2015370791 hasConcept C52063229 @default.
• W2015370791 hasConcept C55493867 @default.
• W2015370791 hasConcept C80444323 @default.
• W2015370791 hasConcept C88626702 @default.
• W2015370791 hasConceptScore W2015370791C105795698 @default.
• W2015370791 hasConceptScore W2015370791C110251889 @default.
• W2015370791 hasConceptScore W2015370791C11413529 @default.
• W2015370791 hasConceptScore W2015370791C136643341 @default.
• W2015370791 hasConceptScore W2015370791C147969180 @default.
• W2015370791 hasConceptScore W2015370791C154317977 @default.
• W2015370791 hasConceptScore W2015370791C185592680 @default.
• W2015370791 hasConceptScore W2015370791C198008173 @default.
• W2015370791 hasConceptScore W2015370791C199360897 @default.
• W2015370791 hasConceptScore W2015370791C202751555 @default.
• W2015370791 hasConceptScore W2015370791C24404364 @default.
• W2015370791 hasConceptScore W2015370791C25016198 @default.
• W2015370791 hasConceptScore W2015370791C33923547 @default.
• W2015370791 hasConceptScore W2015370791C41008148 @default.
• W2015370791 hasConceptScore W2015370791C45374587 @default.
• W2015370791 hasConceptScore W2015370791C49937458 @default.
• W2015370791 hasConceptScore W2015370791C52063229 @default.
• W2015370791 hasConceptScore W2015370791C55493867 @default.
• W2015370791 hasConceptScore W2015370791C80444323 @default.
• W2015370791 hasConceptScore W2015370791C88626702 @default.
• W2015370791 hasLocation W20153707911 @default.
• W2015370791 hasLocation W20153707912 @default.
• W2015370791 hasOpenAccess W2015370791 @default.
• W2015370791 hasPrimaryLocation W20153707911 @default.
• W2015370791 hasRelatedWork W2015370791 @default.
• W2015370791 hasRelatedWork W2076879179 @default.
• W2015370791 hasRelatedWork W2138707849 @default.
• W2015370791 hasRelatedWork W2403555318 @default.
• W2015370791 hasRelatedWork W2481947210 @default.
• W2015370791 hasRelatedWork W2798742893 @default.
• W2015370791 hasRelatedWork W2952142057 @default.
• W2015370791 hasRelatedWork W3005864166 @default.
• W2015370791 hasRelatedWork W3167364034 @default.
• W2015370791 hasRelatedWork W925418074 @default.
• W2015370791 hasVolume "262" @default.
• W2015370791 isParatext "false" @default.

• next