Quantitative model checking of linear-time properties based on generalized possibility measures (Q1697514): Difference between revisions

@@ Property / cites work @@
+Discounting in LTL
@@ Property / cites work: Discounting in LTL / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763963
@@ Property / cites work: Q2763963 / rank @@
+Normal rank
@@ Property / cites work @@
+Data structures for symbolic multi-valued model-checking
+Normal rank
@@ Property / cites work @@
+Model checking discounted temporal properties
@@ Property / cites work: Model checking discounted temporal properties / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilities, possibilities, and fuzzy sets
@@ Property / cites work: Probabilities, possibilities, and fuzzy sets / rank @@
+Normal rank
@@ Property / cites work @@
+Possibility theory and statistical reasoning
@@ Property / cites work: Possibility theory and statistical reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Default reasoning and possibility theory
@@ Property / cites work: Default reasoning and possibility theory / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy Time in Linear Temporal Logic
@@ Property / cites work: Fuzzy Time in Linear Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy measures and integrals. Theory and applications
+Normal rank
@@ Property / cites work @@
+Probabilistic propositional temporal logics
@@ Property / cites work: Probabilistic propositional temporal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5339289
@@ Property / cites work: Q5339289 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy regular languages over finite and infinite words
+Normal rank
@@ Property / cites work @@
+Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
+Normal rank
@@ Property / cites work @@
+Computation tree logic model checking based on possibility measures
+Normal rank
@@ Property / cites work @@
+Quantitative \(\mu\)-calculus and CTL defined over constraint semirings
+Normal rank
@@ Property / cites work @@
+A fuzzy real-time temporal logic
@@ Property / cites work: A fuzzy real-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking fuzzy computation tree logic
@@ Property / cites work: Model checking fuzzy computation tree logic / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy sets
@@ Property / cites work: Fuzzy sets / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy sets as a basis for a theory of possibility
@@ Property / cites work: Fuzzy sets as a basis for a theory of possibility / rank @@
+Normal rank