Pages that link to "Item:Q3184672"
From MaRDI portal
The following pages link to Weighted Bisimulation in Linear Algebraic Form (Q3184672):
Displaying 20 items.
- A coalgebraic perspective on linear weighted automata (Q418134) (← links)
- Quantitative Kleene coalgebras (Q532394) (← links)
- Quantitative simulations by matrices (Q729815) (← links)
- Concurrent weighted logic (Q890620) (← links)
- A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata (Q1797781) (← links)
- (in)finite trace equivalence of probabilistic transition systems (Q1798789) (← links)
- Bisimulation metrics and norms for real-weighted automata (Q2064519) (← links)
- Learning weighted automata over principal ideal domains (Q2200852) (← links)
- Trace semantics via determinization (Q2341701) (← links)
- Comparing chemical reaction networks: a categorical and algorithmic perspective (Q2422009) (← links)
- Bisimulation relations for weighted automata (Q2481957) (← links)
- Algebra, Coalgebra, and Minimization in Polynomial Differential Equations (Q2988361) (← links)
- Up-To Techniques for Weighted Systems (Q3303913) (← links)
- Morphisms and Minimisation of Weighted Automata (Q5038573) (← links)
- On the Coalgebra of Partial Differential Equations (Q5092383) (← links)
- Singular value automata and approximate minimization (Q5108539) (← links)
- Automata Learning: A Categorical Perspective (Q5418974) (← links)
- Coalgebras for Bisimulation of Weighted Automata over Semirings (Q5883750) (← links)
- Automatic pre- and postconditions for partial differential equations (Q5925548) (← links)
- Weighted Automata over Vector Spaces (Q6204126) (← links)
