Bisimulations for fuzzy transition systems revisited (Q1648774): Difference between revisions

@@ Property / DOI @@
-.1016/j.ijar.2018.04.010
@@ Property / DOI: 10.1016/j.ijar.2018.04.010 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2801388205
@@ Property / OpenAlex ID: W2801388205 / rank @@
+Normal rank
@@ Property / cites work @@
+Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes
+Normal rank
@@ Property / cites work @@
+Nondeterministic fuzzy automata
@@ Property / cites work: Nondeterministic fuzzy automata / rank @@
+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 @@
+Bisimulations for weighted automata over an additively idempotent semiring
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / 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 @@
+Model checking computation tree logic over finite lattices
+Normal rank
@@ Property / cites work @@
+Nondeterministic fuzzy automata with membership values in complete residuated lattices
+Normal rank
@@ Property / cites work @@
+Logical characterizations of simulation and bisimulation for fuzzy transition systems
+Normal rank
@@ Property / cites work @@
+Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems
+Normal rank
@@ Property / cites work @@
+Analysis and control of fuzzy discrete event systems using bisimulation equivalence
+Normal rank
@@ Property / Wikidata QID @@
+Q129887164
@@ Property / Wikidata QID: Q129887164 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IJAR.2018.04.010
@@ Property / DOI: 10.1016/J.IJAR.2018.04.010 / rank @@
+Normal rank