Logical characterizations of simulation and bisimulation for fuzzy transition systems (Q679804): Difference between revisions

@@ Property / cites work @@
+Tree regular model checking: a simulation-based approach
+Normal rank
@@ Property / cites work @@
+Pattern recognition using temporal fuzzy automata
@@ Property / cites work: Pattern recognition using temporal fuzzy automata / rank @@
+Normal rank
@@ Property / cites work @@
+Determinism and fuzzy automata
@@ Property / cites work: Determinism and fuzzy automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4836494
@@ Property / cites work: Q4836494 / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic fuzzy automata
@@ Property / cites work: Nondeterministic fuzzy automata / rank @@
+Normal rank
@@ Property / cites work @@
+Determinization of weighted finite automata over strong bimonoids
+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 @@
+Bisimulation for labelled Markov processes
@@ Property / cites work: Bisimulation for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Approximating labelled Markov processes
@@ Property / cites work: Approximating labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation minimization and symbolic model checking
+Normal rank
@@ Property / cites work @@
+Fuzzy languages with infinite range accepted by fuzzy automata: pumping lemma and determinization procedure
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic logical characterization
@@ Property / cites work: Probabilistic logical characterization / 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 @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
+Normal rank
@@ Property / cites work @@
+Finite automata theory with membership values in lattices
+Normal rank
@@ Property / cites work @@
+Q4791753
@@ Property / cites work: Q4791753 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation for lattice-valued doubly labeled transition systems
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Characterizations of Bisimulations for Discrete Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Characterizations of fuzzy finite automata.
@@ Property / cites work: Characterizations of fuzzy finite automata. / rank @@
+Normal rank
@@ Property / cites work @@
+Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note
+Normal rank
@@ Property / cites work @@
+Q4925553
@@ Property / cites work: Q4925553 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+A Formulation of Fuzzy Automata and Its Application as a Model of Learning Systems
+Normal rank
@@ Property / cites work @@
+Analysis and control of fuzzy discrete event systems using bisimulation equivalence
+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