Pages that link to "Item:Q2946742"
From MaRDI portal
The following pages link to Fuzzy Time in Linear Temporal Logic (Q2946742):
Displaying 6 items.
- Model checking fuzzy computation tree logic (Q529056) (← 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)
- Selected Temporal Logic Systems: An Attempt at Engineering Evaluation (Q2814121) (← links)
- Fuzzy Time in Linear Temporal Logic (Q2946742) (← links)
