Pages that link to "Item:Q5483458"
From MaRDI portal
The following pages link to REACHABILITY PROBLEMS FOR PRODUCTS OF MATRICES IN SEMIRINGS (Q5483458):
Displaying 12 items.
- Semigroup identities of tropical matrix semigroups of maximal rank (Q309970) (← links)
- Multiplicative structure of \(2\times 2\) tropical matrices (Q550662) (← links)
- Semigroup identities in the monoid of two-by-two tropical matrices. (Q972589) (← links)
- Weighted automata on infinite words in the context of attacker-defender games (Q2013554) (← links)
- Computational techniques for reachability analysis of Max-Plus-Linear systems (Q2409446) (← links)
- Semigroup identities in the monoid of triangular tropical matrices. (Q2447232) (← links)
- On undecidability bounds for matrix decision problems (Q2474220) (← links)
- Improved matrix pair undecidability results (Q2641877) (← links)
- UNDECIDABILITY BOUNDS FOR INTEGER MATRICES USING CLAUS INSTANCES (Q3065609) (← links)
- Comparison of max-plus automata and joint spectral radius of tropical matrices (Q5111233) (← links)
- (Q5389748) (← links)
- Undecidability of the universal support problem for weighted automata over zero-sum-free commutative semirings (Q6548961) (← links)