Possibilistic cost computation tree logic and related equivalence, abstraction technique

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 :)

Username or E-mail:

If you don't have an account, you can create one here.