A fuzzy real-time temporal logic
From MaRDI portal
Publication:2353964
DOI10.1016/j.ijar.2013.06.004zbMath1316.03012OpenAlexW2061456040MaRDI QIDQ2353964
Subhankar Mukherjee, Pallab Dasgupta
Publication date: 10 July 2015
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ijar.2013.06.004
Related Items (4)
Tense operators in fuzzy logic ⋮ Fuzzy Time in Linear Temporal Logic ⋮ Quantitative model checking of linear-time properties based on generalized possibility measures ⋮ Model checking fuzzy computation tree logic
Cites Work
- Unnamed Item
- Robustness of temporal logic specifications for continuous-time signals
- Parametric temporal logic for “model measuring”
- Robust Satisfaction of Temporal Logic over Real-Valued Signals
- A really temporal logic
- The benefits of relaxing punctuality
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Programming Languages and Systems
This page was built for publication: A fuzzy real-time temporal logic