Pages that link to "Item:Q2481957"

The following pages link to Bisimulation relations for weighted automata (Q2481957):

Displaying 40 items.

• Weak bisimulations for fuzzy automata (Q279375) (← links)
• Compression of finite-state automata through failure transitions (Q300258) (← links)
• Simulation relations for pattern matching in directed graphs (Q388784) (← links)
• Markov chain aggregation and its applications to combinatorial reaction networks (Q404799) (← links)
• A bialgebraic approach to automata and formal language theory (Q408529) (← links)
• A coalgebraic perspective on linear weighted automata (Q418134) (← links)
• Lumpability abstractions of rule-based systems (Q418843) (← links)
• Bisimulations for fuzzy automata (Q423147) (← links)
• Quantitative Kleene coalgebras (Q532394) (← links)
• Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm (Q534301) (← links)
• On the greatest solutions to weakly linear systems of fuzzy relation inequalities and equations (Q622073) (← links)
• Computation of the greatest simulations and bisimulations between fuzzy automata (Q690916) (← links)
• Backward and forward bisimulation minimization of tree automata (Q840778) (← links)
• Concurrent weighted logic (Q890620) (← links)
• Nondeterministic automata: equivalence, bisimulations, and uniform relations (Q903611) (← links)
• Fuzzy relation equations and reduction of fuzzy automata (Q988575) (← links)
• Fuzzy approximations of fuzzy relational structures (Q1644888) (← links)
• Labeled fuzzy approximations based on bisimulations (Q1748529) (← links)
• Polynomial-time algorithms for computing distances of fuzzy transition systems (Q1749476) (← links)
• Approximate bisimulation relations for fuzzy automata (Q1800262) (← links)
• From generic partition refinement to weighted tree automata minimization (Q1982644) (← links)
• Aggregation-based minimization of finite state automata (Q2035006) (← links)
• Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures (Q2219195) (← links)
• Verifying chemical reaction network implementations: a pathway decomposition approach (Q2422010) (← links)
• Axiomatizing weighted synchronization trees and weighted bisimilarity (Q2447752) (← links)
• Bisimulations for weighted automata over an additively idempotent semiring (Q2447758) (← links)
• Existence and Verification for Decentralized Nondeterministic Discrete-Event Systems Under Bisimulation Equivalence (Q2828481) (← links)
• Typed Linear Algebra for Weigthed (Probabilistic) Automata (Q2914693) (← links)
• Simulations of Weighted Tree Automata (Q3073652) (← links)
• Combining Model Reductions (Q3178247) (← links)
• Deriving Syntax and Axioms for Quantitative Regular Behaviours (Q3184671) (← links)
• Weighted Bisimulation in Linear Algebraic Form (Q3184672) (← links)
• THE CATEGORY OF SIMULATIONS FOR WEIGHTED TREE AUTOMATA (Q3224952) (← links)
• A Bialgebraic Approach to Automata and Formal Language Theory (Q3605547) (← links)
• Efficient Coalgebraic Partition Refinement (Q5111646) (← links)
• Quantum Physics, Topology, Formal Languages, Computation: A Categorical View as Homage to David Hilbert (Q5169376) (← links)
• A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata (Q5170274) (← links)
• Fragments-based Model Reduction: Some Case Studies (Q5404088) (← links)
• Coalgebras for Bisimulation of Weighted Automata over Semirings (Q5883750) (← links)
• Fuzzy simulations and bisimulations between fuzzy automata (Q6099555) (← links)