The following pages link to A fuzzy real-time temporal logic (Q2353964):
Displaying 13 items.
- Improving response time of real time control systems based on multidimensional interval-logical controllers (Q499571) (← links)
- Model checking fuzzy computation tree logic (Q529056) (← links)
- Syntax and semantics for a fuzzy temporal constraint logic (Q1610489) (← links)
- Tense operators in fuzzy logic (Q1677045) (← links)
- Quantitative model checking of linear-time properties based on generalized possibility measures (Q1697514) (← links)
- Symbolic checking of fuzzy CTL on fuzzy program graph (Q1713411) (← links)
- Abstraction and approximation in fuzzy temporal logics and models (Q2355383) (← links)
- (Q2753788) (← links)
- Fuzzy Time in Linear Temporal Logic (Q2946742) (← links)
- (Q2984611) (← links)
- (Q3178135) (← links)
- (Q3641366) (← links)
- Gödel-Dummett linear temporal logic (Q6665714) (← links)