Symbolic checking of fuzzy CTL on fuzzy program graph (Q1713411): Difference between revisions

@@ Property / DOI @@
-.1007/s00236-018-0311-3
@@ Property / DOI: 10.1007/s00236-018-0311-3 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+BuDDy
@@ Property / describes a project that uses: BuDDy / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00236-018-0311-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2786932691
@@ Property / OpenAlex ID: W2786932691 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy Markov chains and decision-making
@@ Property / cites work: Fuzzy Markov chains and decision-making / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking of probabilistic and nondeterministic systems
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Data structures for symbolic multi-valued model-checking
+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 @@
+A logic for reasoning about time and reliability
@@ Property / cites work: A logic for reasoning about time and reliability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503930
@@ Property / cites work: Q4503930 / rank @@
+Normal rank
@@ Property / cites work @@
+What's decidable about hybrid automata?
@@ Property / cites work: What's decidable about hybrid automata? / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking for probabilistic timed automata
@@ Property / cites work: Model checking for probabilistic timed automata / 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 @@
+Q4872060
@@ Property / cites work: Q4872060 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3746875
@@ Property / cites work: Q3746875 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction and approximation in fuzzy temporal logics and models
+Normal rank
@@ Property / DOI @@
+.1007/S00236-018-0311-3
@@ Property / DOI: 10.1007/S00236-018-0311-3 / rank @@
+Normal rank