Fuzzy Computation Tree Temporal Logic with Quality Constraints and Its Model Checking

Fuzzy Computation Tree Temporal Logic with Quality Constraints and Its Model Checking

The encapsulation of particular quality functions and predicates within temporal logic formulas markedly enhances the representation of detailed temporal characteristics within a system. During our preliminary investigations, we innovatively combined quality constraint functions and predicates with...

Full description

Saved in:
Bibliographic Details
Main Authors: Xianfeng Yu, Yongming Li, Shengling Geng, Huirong Li
Format: Article
Language:English
Published: MDPI AG 2024-11-01
Series:Axioms
Subjects:
quality function
quality predicate
weighting function
information fusion
information synchronization
information loss
Online Access:https://www.mdpi.com/2075-1680/13/12/832
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://www.mdpi.com/2075-1680/13/12/832

Similar Items