Approximate bisimulation relations for fuzzy automata (Q1800262): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00500-017-2913-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2767905287
@@ Property / OpenAlex ID: W2767905287 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5389254
@@ Property / cites work: Q5389254 / 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 @@
+Fuzzy relation equations and reduction of fuzzy automata
+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 @@
+Notions of Bisimulation for Heyting-Valued Modal Languages
+Normal rank
@@ Property / cites work @@
+Logical characterizations of regular equivalence in weighted social networks
+Normal rank
@@ Property / cites work @@
+Deciding probabilistic automata weak bisimulation: theory and practice
+Normal rank
@@ Property / cites work @@
+Backward and forward bisimulation minimization of tree automata
+Normal rank
@@ Property / cites work @@
+Weak bisimulations for fuzzy automata
@@ Property / cites work: Weak bisimulations for fuzzy automata / rank @@
+Normal rank
@@ Property / cites work @@
+LATTICED SIMULATION RELATIONS AND GAMES
@@ Property / cites work: LATTICED SIMULATION RELATIONS AND GAMES / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation and robustness of fuzzy finite automata
+Normal rank
@@ Property / cites work @@
+Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
+Normal rank
@@ Property / cites work @@
+The infinite evolution mechanism of \(\epsilon\)-bisimilarity
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Similarity-based minimization of fuzzy tree automata
+Normal rank
@@ Property / cites work @@
+Simulation for lattice-valued doubly labeled transition systems
+Normal rank
@@ Property / cites work @@
+Lattice-valued simulations for quantitative transition systems
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic general fuzzy automata
@@ Property / cites work: Intuitionistic general fuzzy automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4925553
@@ Property / cites work: Q4925553 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation of fuzzy context-free grammars
@@ Property / cites work: Approximation of fuzzy context-free grammars / rank @@
+Normal rank
@@ Property / cites work @@
+The universal fuzzy automaton
@@ Property / cites work: The universal fuzzy automaton / rank @@
+Normal rank
@@ Property / cites work @@
+Logical characterizations of simulation and bisimulation for fuzzy transition systems
+Normal rank
@@ Property / cites work @@
+Analysis and control of fuzzy discrete event systems using bisimulation equivalence
+Normal rank
@@ Property / cites work @@
+Q2767183
@@ Property / cites work: Q2767183 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic fuzzy recognizers and intuitionistic fuzzy finite automata
+Normal rank