Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949667040> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2949667040 abstract "We study generalized possibilistic computation tree logic model checking in this paper, which is an extension of possibilistic computation logic model checking introduced by Y.Li, Y.Li and Z.Ma (2014). The system is modeled by generalized possibilistic Kripke structures (GPKS, in short), and the verifying property is specified by a generalized possibilistic computation tree logic (GPoCTL, in short) formula. Based on generalized possibility measures and generalized necessity measures, the method of generalized possibilistic computation tree logic model checking is discussed, and the corresponding algorithm and its complexity are shown in detail. Furthermore, the comparison between PoCTL introduced in (2013) and GPoCTL is given. Finally, a thermostat example is given to illustrate the GPoCTL model-checking method." @default.
- W2949667040 created "2019-06-27" @default.
- W2949667040 creator A5010955040 @default.
- W2949667040 creator A5067652312 @default.
- W2949667040 date "2014-09-23" @default.
- W2949667040 modified "2023-09-24" @default.
- W2949667040 title "Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures" @default.
- W2949667040 cites W1184059260 @default.
- W2949667040 cites W1497670448 @default.
- W2949667040 cites W1503170978 @default.
- W2949667040 cites W1527790792 @default.
- W2949667040 cites W1557658501 @default.
- W2949667040 cites W1964764902 @default.
- W2949667040 cites W1988360665 @default.
- W2949667040 cites W2015370791 @default.
- W2949667040 cites W2019950953 @default.
- W2949667040 cites W2034102118 @default.
- W2949667040 cites W2058062479 @default.
- W2949667040 cites W2109187338 @default.
- W2949667040 cites W2132170793 @default.
- W2949667040 cites W2164164862 @default.
- W2949667040 cites W2619919865 @default.
- W2949667040 cites W2912565176 @default.
- W2949667040 cites W3043771091 @default.
- W2949667040 doi "https://doi.org/10.48550/arxiv.1409.6466" @default.
- W2949667040 hasPublicationYear "2014" @default.
- W2949667040 type Work @default.
- W2949667040 sameAs 2949667040 @default.
- W2949667040 citedByCount "0" @default.
- W2949667040 crossrefType "posted-content" @default.
- W2949667040 hasAuthorship W2949667040A5010955040 @default.
- W2949667040 hasAuthorship W2949667040A5067652312 @default.
- W2949667040 hasBestOaLocation W29496670401 @default.
- W2949667040 hasConcept C110251889 @default.
- W2949667040 hasConcept C113174947 @default.
- W2949667040 hasConcept C11413529 @default.
- W2949667040 hasConcept C114614502 @default.
- W2949667040 hasConcept C198008173 @default.
- W2949667040 hasConcept C199360897 @default.
- W2949667040 hasConcept C2778029271 @default.
- W2949667040 hasConcept C33923547 @default.
- W2949667040 hasConcept C41008148 @default.
- W2949667040 hasConcept C45374587 @default.
- W2949667040 hasConcept C80444323 @default.
- W2949667040 hasConceptScore W2949667040C110251889 @default.
- W2949667040 hasConceptScore W2949667040C113174947 @default.
- W2949667040 hasConceptScore W2949667040C11413529 @default.
- W2949667040 hasConceptScore W2949667040C114614502 @default.
- W2949667040 hasConceptScore W2949667040C198008173 @default.
- W2949667040 hasConceptScore W2949667040C199360897 @default.
- W2949667040 hasConceptScore W2949667040C2778029271 @default.
- W2949667040 hasConceptScore W2949667040C33923547 @default.
- W2949667040 hasConceptScore W2949667040C41008148 @default.
- W2949667040 hasConceptScore W2949667040C45374587 @default.
- W2949667040 hasConceptScore W2949667040C80444323 @default.
- W2949667040 hasLocation W29496670401 @default.
- W2949667040 hasLocation W29496670402 @default.
- W2949667040 hasOpenAccess W2949667040 @default.
- W2949667040 hasPrimaryLocation W29496670401 @default.
- W2949667040 hasRelatedWork W120135115 @default.
- W2949667040 hasRelatedWork W1491574517 @default.
- W2949667040 hasRelatedWork W1597499909 @default.
- W2949667040 hasRelatedWork W1844279739 @default.
- W2949667040 hasRelatedWork W2040233837 @default.
- W2949667040 hasRelatedWork W2119610731 @default.
- W2949667040 hasRelatedWork W2356566217 @default.
- W2949667040 hasRelatedWork W2949667040 @default.
- W2949667040 hasRelatedWork W3005864166 @default.
- W2949667040 hasRelatedWork W4240265263 @default.
- W2949667040 isParatext "false" @default.
- W2949667040 isRetracted "false" @default.
- W2949667040 magId "2949667040" @default.
- W2949667040 workType "article" @default.