On eventual non-negativity and positivity for the weighted sum of powers of matrices
From MaRDI portal
Publication:2104554
DOI10.1007/978-3-031-10769-6_39OpenAlexW4281257689MaRDI QIDQ2104554
Debtanu Pal, Supratik Chakraborty, S. Akshay
Publication date: 7 December 2022
Full work available at URL: https://arxiv.org/abs/2205.09190
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Reachability problems for Markov chains
- On an inverse problem for nonnegative and eventually nonnegative matrices
- Undecidable problems for probabilistic automata of fixed dimension
- A characterization of Jordan canonical forms which are similar to eventually nonnegative matrices with the properties of nonnegative matrices.
- Eventually nonnegative matrices are similar to seminonnegative matrices.
- Perron-Frobenius theory for complex matrices
- On the mortality problem: from multiplicative matrix equations to linear recurrence sequences and beyond
- What's decidable about weighted automata?
- Positivity of second order linear recurrent sequences
- On Perron-Frobenius property of matrices having some negative entries
- The complexity of the matrix eigenproblem
- Mortality for 2 ×2 Matrices Is NP-Hard
- Probabilistic Automata on Finite Words: Decidable and Undecidable Problems
- Reachability and Holdability of Nonnegative States
- The Many Proofs and Applications of Perron's Theorem
- Decision Problems for Linear Recurrence Sequences
- Complexity of Restricted Variants of Skolem and Related Problems
- Distribution-based objectives for Markov Decision Processes
- Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences
- On the decidability of reachability in linear time-invariant systems
- Computer Aided Verification
- On Termination of Integer Linear Loops
- Positivity Problems for Low-Order Linear Recurrence Sequences
- Near-Optimal Complexity Bounds for Fragments of the Skolem Problem
This page was built for publication: On eventual non-negativity and positivity for the weighted sum of powers of matrices
