Simulation for lattice-valued doubly labeled transition systems (Q2353987): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ijar.2013.11.009
+Normal rank
@@ Property / OpenAlex ID @@
+W2088189255
@@ Property / OpenAlex ID: W2088189255 / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive Systems
@@ Property / cites work: Reactive Systems / 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 @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+A state/event-based model-checking approach for the analysis of abstract system properties
+Normal rank
@@ Property / cites work @@
+Q5312888
@@ Property / cites work: Q5312888 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
+Normal rank
@@ Property / cites work @@
+Concurrent software verification with states, events, and deadlocks
+Normal rank
@@ Property / cites work @@
+Data structures for symbolic multi-valued model-checking
+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 @@
+Robustness analysis of full implication inference method
+Normal rank
@@ Property / cites work @@
+Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
+Normal rank
@@ Property / cites work @@
+Logics for belief functions on MV-algebras
@@ Property / cites work: Logics for belief functions on MV-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4022223
@@ Property / cites work: Q4022223 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+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 @@
+Approximate equivalence and synchronization of metric transition systems
+Normal rank
@@ Property / cites work @@
+States in Łukasiewicz logic correspond to probabilities of rational polyhedra
+Normal rank
@@ Property / cites work @@
+Lattice Automata
@@ Property / cites work: Lattice 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 @@
+Metrics for weighted transition systems: axiomatization and complexity
+Normal rank
@@ Property / cites work @@
+An approach to measure the robustness of fuzzy reasoning
+Normal rank
@@ Property / cites work @@
+Approximation and robustness of fuzzy finite automata
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Three logics for branching bisimulation
@@ Property / cites work: Three logics for branching bisimulation / rank @@
+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 @@
+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 @@
+Multi-valued model checking games
@@ Property / cites work: Multi-valued model checking games / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative analysis of weighted transition systems
+Normal rank
@@ Property / cites work @@
+Automata theory based on complete residuated lattice-valued logic: Reduction and minimization
+Normal rank