Model Checking Fuzzy Computation Tree Logic Based on Fuzzy Decision Processes with Cost.

Ma, Zhanyou; Li, Zhaokai; Li, Weijun; Gao, Yingnan; Li, Xia

Ma, Zhanyou; Li, Zhaokai; Li, Weijun; Gao, Yingnan; Li, Xia.

Afiliação

Ma Z; School of Computer Science and Engineering, North Minzu University, Yinchuan 750000, China.
Li Z; School of Computer Science and Engineering, North Minzu University, Yinchuan 750000, China.
Li W; School of Computer Science and Engineering, North Minzu University, Yinchuan 750000, China.
Gao Y; School of Computer Science and Engineering, North Minzu University, Yinchuan 750000, China.
Li X; School of Computer Science and Engineering, North Minzu University, Yinchuan 750000, China.

Entropy (Basel) ; 24(9)2022 Aug 24.

Article em En | MEDLINE | ID: mdl-36141069

Palavras-chave

cost operator; fuzzy computation tree logic; fuzzy decision processes; fuzzy model checking

Texto completo

Imprimir

XML

PubMed Links

Buscar no Google

Texto completo: 1 Coleções: 01-internacional Base de dados: MEDLINE Tipo de estudo: Health_economic_evaluation / Prognostic_studies Idioma: En Ano de publicação: 2022 Tipo de documento: Article

Texto completo

Imprimir

XML

PubMed Links

Buscar no Google