HIGHLIGHTS
- who: Possibilistic Cost, Computation Tree and HUI, DENG from the Schoolan University of Finance and Economics, Xi`an, China have published the research work: Possibilistic Cost Computation Tree Logic and Related Equivalence, Abstraction Technique, in the Journal: (JOURNAL)
- what: P(t1, t3 ) in MC2; P(s3, s3 ) and P(s4, s4 ) in MC1 can be mimicked by P(t2, t2 ) and P(t3, t3 ) in MC2.
SUMMARY
The authors describe models with costs, provide possibilistic Kripke cost structures, and possibilistic costs, propose the syntax of the possibilistic cost computation tree (PoCCTL . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.