Nondeterministic fuzzy automata with membership values in complete residuated lattices (Q511624): Difference between revisions

@@ Property / author @@
+Yong-Ming Li
@@ Property / author: Yong-Ming Li / rank @@
+Normal rank
@@ 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.1016/j.ijar.2016.11.020
+Normal rank
@@ Property / OpenAlex ID @@
+W2559616919
@@ Property / OpenAlex ID: W2559616919 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking discounted temporal properties
@@ Property / cites work: Model checking discounted temporal properties / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+The dual equivalence of equations and coequations for automata
+Normal rank
@@ Property / cites work @@
+Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
+Normal rank
@@ Property / cites work @@
+Relating strong behavioral equivalences for processes with nondeterminism and probabilities
+Normal rank
@@ Property / cites work @@
+Q5312888
@@ Property / cites work: Q5312888 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5389254
@@ Property / cites work: Q5389254 / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic fuzzy automata
@@ Property / cites work: Nondeterministic fuzzy 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 @@
+Q4692885
@@ Property / cites work: Q4692885 / rank @@
+Normal rank
@@ Property / cites work @@
+On modeling of fuzzy hybrid systems
@@ Property / cites work: On modeling of fuzzy hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Lattice Automata
@@ Property / cites work: Lattice Automata / 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 @@
+A categorical approach to lattice-valued fuzzy automata
+Normal rank
@@ Property / cites work @@
+Approximation and robustness of fuzzy finite automata
+Normal rank
@@ Property / cites work @@
+Finite automata theory with membership values in lattices
+Normal rank
@@ Property / cites work @@
+The relationships among several types of fuzzy automata
+Normal rank
@@ Property / cites work @@
+Algebraic properties of \(LA\)-languages
@@ Property / cites work: Algebraic properties of \(LA\)-languages / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic constructions of canonical nondeterministic automata
+Normal rank
@@ Property / cites work @@
+Simulation for lattice-valued doubly labeled transition systems
+Normal rank
@@ Property / cites work @@
+Quantitative Analysis of Lattice-valued Kripke Structures
+Normal rank
@@ Property / cites work @@
+Lattice-valued simulations for quantitative transition systems
+Normal rank
@@ Property / cites work @@
+Formalization of implication based fuzzy reasoning method
+Normal rank
@@ Property / cites work @@
+Hierarchical structure and applications of fuzzy logical systems
+Normal rank
@@ Property / cites work @@
+The completeness and applications of the formal system \(\mathcal L^\ast\)
+Normal rank
@@ Property / cites work @@
+Automata theory based on complete residuated lattice-valued logic. II
+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 @@
+A note on Trillas' CHC models
@@ Property / cites work: A note on Trillas' CHC models / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative analysis of weighted transition systems
+Normal rank
@@ Property / cites work @@
+A Formulation of Fuzzy Automata and Its Application as a Model of Learning Systems
+Normal rank
@@ Property / cites work @@
+Automata theory based on complete residuated lattice-valued logic: Reduction and minimization
+Normal rank
@@ Property / cites work @@
+Logical characterizations of simulation and bisimulation for fuzzy transition systems
+Normal rank
@@ Property / cites work @@
+Automata theory based on complete residuated lattice-valued logic: a categorical approach
+Normal rank
@@ Property / cites work @@
+A Behavioural Pseudometric based on λ–Bisimilarity
+Normal rank
@@ Property / cites work @@
+Characterize branching distance in terms of \((\eta , \alpha )\)-bisimilarity
+Normal rank
@@ Property / cites work @@
+A modal characterization of alternating approximate bisimilarity
+Normal rank