Matches in SemOpenAlex for { <https://semopenalex.org/work/W4382658016> ?p ?o ?g. }
- W4382658016 endingPage "6632" @default.
- W4382658016 startingPage "6620" @default.
- W4382658016 abstract "Probabilistic model checking has received increasing attention in formal verification. Meanwhile, in the fuzzy setting, the possibilistic model checking has been well studied by Li et al. in recent years. However, nondeterminism of choices was not considered in previous work. The nondeterminism is crucial for modeling open systems interacting with the environment. To fill the gap, we propose the possibilistic decision processes (PDPs) to model fuzzy systems with nondeterminism and introduce possibilistic strategy computation tree logic (PoSCTL) to specify properties with nondeterministic choices. More importantly, optimal strategy model checking over PDPs has been investigated, which is an important formal verification method for quantitatively checking the degree of satisfiability of properties in a model. We give mathematical methods to calculate the maximum and minimum possibilities for a system modeled by PDPs satisfies a property specified by PoSCTL when ranging over all strategies. We prove memoryless strategies are sufficient for PoSCTL model checking without the step-bounded until operator, and give the algorithms to output the corresponding optimal strategy. Finally, an illustrative example of robots moving is given to explain the methods presented in this article." @default.
- W4382658016 created "2023-07-01" @default.
- W4382658016 creator A5056807499 @default.
- W4382658016 creator A5069146852 @default.
- W4382658016 date "2023-10-01" @default.
- W4382658016 modified "2023-10-14" @default.
- W4382658016 title "Optimal Strategy Model Checking in Possibilistic Decision Processes" @default.
- W4382658016 cites W1184059260 @default.
- W4382658016 cites W1497670448 @default.
- W4382658016 cites W1592359484 @default.
- W4382658016 cites W1964764902 @default.
- W4382658016 cites W1997880753 @default.
- W4382658016 cites W2001497677 @default.
- W4382658016 cites W2005336137 @default.
- W4382658016 cites W2015370791 @default.
- W4382658016 cites W2026489387 @default.
- W4382658016 cites W2034102118 @default.
- W4382658016 cites W2057959989 @default.
- W4382658016 cites W2058062479 @default.
- W4382658016 cites W2059949763 @default.
- W4382658016 cites W2061636055 @default.
- W4382658016 cites W2061647589 @default.
- W4382658016 cites W2064426242 @default.
- W4382658016 cites W2066374160 @default.
- W4382658016 cites W2094369345 @default.
- W4382658016 cites W2095863664 @default.
- W4382658016 cites W2113269663 @default.
- W4382658016 cites W2118630939 @default.
- W4382658016 cites W2132170793 @default.
- W4382658016 cites W2168425309 @default.
- W4382658016 cites W2272217514 @default.
- W4382658016 cites W2494841202 @default.
- W4382658016 cites W2913468781 @default.
- W4382658016 cites W2962784921 @default.
- W4382658016 cites W3020490804 @default.
- W4382658016 cites W3097413284 @default.
- W4382658016 cites W3186325801 @default.
- W4382658016 cites W3213779030 @default.
- W4382658016 cites W4211007335 @default.
- W4382658016 cites W4214963255 @default.
- W4382658016 cites W4226031992 @default.
- W4382658016 cites W4230588984 @default.
- W4382658016 cites W4242886915 @default.
- W4382658016 doi "https://doi.org/10.1109/tsmc.2023.3286127" @default.
- W4382658016 hasPublicationYear "2023" @default.
- W4382658016 type Work @default.
- W4382658016 citedByCount "0" @default.
- W4382658016 crossrefType "journal-article" @default.
- W4382658016 hasAuthorship W4382658016A5056807499 @default.
- W4382658016 hasAuthorship W4382658016A5069146852 @default.
- W4382658016 hasConcept C104317684 @default.
- W4382658016 hasConcept C110251889 @default.
- W4382658016 hasConcept C126255220 @default.
- W4382658016 hasConcept C134306372 @default.
- W4382658016 hasConcept C154945302 @default.
- W4382658016 hasConcept C158448853 @default.
- W4382658016 hasConcept C168773769 @default.
- W4382658016 hasConcept C17020691 @default.
- W4382658016 hasConcept C176181172 @default.
- W4382658016 hasConcept C185592680 @default.
- W4382658016 hasConcept C198008173 @default.
- W4382658016 hasConcept C33923547 @default.
- W4382658016 hasConcept C34388435 @default.
- W4382658016 hasConcept C41008148 @default.
- W4382658016 hasConcept C49937458 @default.
- W4382658016 hasConcept C55493867 @default.
- W4382658016 hasConcept C56289965 @default.
- W4382658016 hasConcept C58166 @default.
- W4382658016 hasConcept C80444323 @default.
- W4382658016 hasConcept C84525736 @default.
- W4382658016 hasConcept C86339819 @default.
- W4382658016 hasConceptScore W4382658016C104317684 @default.
- W4382658016 hasConceptScore W4382658016C110251889 @default.
- W4382658016 hasConceptScore W4382658016C126255220 @default.
- W4382658016 hasConceptScore W4382658016C134306372 @default.
- W4382658016 hasConceptScore W4382658016C154945302 @default.
- W4382658016 hasConceptScore W4382658016C158448853 @default.
- W4382658016 hasConceptScore W4382658016C168773769 @default.
- W4382658016 hasConceptScore W4382658016C17020691 @default.
- W4382658016 hasConceptScore W4382658016C176181172 @default.
- W4382658016 hasConceptScore W4382658016C185592680 @default.
- W4382658016 hasConceptScore W4382658016C198008173 @default.
- W4382658016 hasConceptScore W4382658016C33923547 @default.
- W4382658016 hasConceptScore W4382658016C34388435 @default.
- W4382658016 hasConceptScore W4382658016C41008148 @default.
- W4382658016 hasConceptScore W4382658016C49937458 @default.
- W4382658016 hasConceptScore W4382658016C55493867 @default.
- W4382658016 hasConceptScore W4382658016C56289965 @default.
- W4382658016 hasConceptScore W4382658016C58166 @default.
- W4382658016 hasConceptScore W4382658016C80444323 @default.
- W4382658016 hasConceptScore W4382658016C84525736 @default.
- W4382658016 hasConceptScore W4382658016C86339819 @default.
- W4382658016 hasFunder F4320321001 @default.
- W4382658016 hasFunder F4320335787 @default.
- W4382658016 hasIssue "10" @default.
- W4382658016 hasLocation W43826580161 @default.
- W4382658016 hasOpenAccess W4382658016 @default.
- W4382658016 hasPrimaryLocation W43826580161 @default.