Model checking fuzzy computation tree logic based on fuzzy decision processes with cost

HIGHLIGHTS

• who: Zhanyou Ma and collaborators from the School of Computer Science and Engineering, North Minzu University, Yinchuan, China have published the paper: Model Checking Fuzzy Computation Tree Logic Based on Fuzzy Decision Processes with Cost, in the Journal: Entropy 2022, 24, 1183. of /2022/
• what: To solve the problems in fuzzy computation tree logic model checking with cost operator the authors propose a fuzzy decision process computation tree logic model checking method with cost. The action property in the model is used to describe the uncertain action selection of the model, and the cost property . . .
  

   

  

  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.