Fuzzy alternating Büchi automata over distributive lattices (Q1678419): 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 / OpenAlex ID @@
+W2737951903
@@ Property / OpenAlex ID: W2737951903 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.04541
@@ Property / arXiv ID: 1603.04541 / rank @@
+Normal rank
@@ Property / cites work @@
+Max and Sum Semantics for Alternating Weighted Automata
+Normal rank
@@ Property / cites work @@
+Translating to Co-Büchi Made Tight, Unified, and Useful
+Normal rank
@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating Weighted Automata
@@ Property / cites work: Alternating Weighted Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692885
@@ Property / cites work: Q4692885 / 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 @@
+Weak alternating automata are not that weak
@@ Property / cites work: Weak alternating automata are not that weak / rank @@
+Normal rank
@@ Property / cites work @@
+An automata-theoretic approach to branching-time model checking
+Normal rank
@@ Property / cites work @@
+The complexity of verification
@@ Property / cites work: The complexity of verification / rank @@
+Normal rank
@@ Property / cites work @@
+Finite automata theory with membership values in lattices
+Normal rank
@@ Property / cites work @@
+Quantitative model checking of linear-time properties based on generalized possibility measures
+Normal rank
@@ Property / cites work @@
+Model checking of linear-time properties in multi-valued systems
+Normal rank
@@ Property / cites work @@
+Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
+Normal rank
@@ Property / cites work @@
+Alternating finite automata on \(\omega\)-words
@@ Property / cites work: Alternating finite automata on \(\omega\)-words / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic fuzzy automata with membership values in complete residuated lattices
+Normal rank
@@ Property / cites work @@
+Quantitative Analysis of Lattice-valued Kripke Structures
+Normal rank
@@ Property / cites work @@
+Automata theory based on complete residuated lattice-valued logic
+Normal rank
@@ Property / cites work @@
+Automata theory based on complete residuated lattice-valued logic. II
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490750
@@ Property / cites work: Q4490750 / rank @@
+Normal rank
@@ Property / cites work @@
+A Formulation of Fuzzy Automata and Its Application as a Model of Learning Systems
+Normal rank