Polynomial-time algorithms for computing distances of fuzzy transition systems (Q1749476): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2581706563
@@ Property / OpenAlex ID: W2581706563 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.06644
@@ Property / arXiv ID: 1701.06644 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation relations for weighted automata
@@ Property / cites work: Bisimulation relations for weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic fuzzy automata
@@ Property / cites work: Nondeterministic fuzzy automata / rank @@
+Normal rank
@@ Property / cites work @@
+On the Complexity of Computing Probabilistic Bisimilarity
+Normal rank
@@ Property / cites work @@
+On metrics for probabilistic systems: definitions and algorithms
+Normal rank
@@ Property / cites work @@
+Bisimulations for fuzzy automata
@@ Property / cites work: Bisimulations for fuzzy automata / rank @@
+Normal rank
@@ Property / cites work @@
+Computation of the greatest simulations and bisimulations between fuzzy automata
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449238
@@ Property / cites work: Q4449238 / rank @@
+Normal rank
@@ Property / cites work @@
+Metrics for labelled Markov processes
@@ Property / cites work: Metrics for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation Metrics for Continuous Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Computing Game Metrics on Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Geometric algorithms and combinatorial optimization.
+Normal rank
@@ Property / cites work @@
+Weak bisimulations for fuzzy automata
@@ Property / cites work: Weak bisimulations for fuzzy automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Lattice-valued simulations for quantitative transition systems
+Normal rank
@@ Property / cites work @@
+Q5480815
@@ Property / cites work: Q5480815 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Q4965819
@@ Property / cites work: Q4965819 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Q4791270
@@ Property / cites work: Q4791270 / rank @@
+Normal rank
@@ Property / cites work @@
+A behavioural pseudometric for probabilistic transition systems
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1749476