Nonnegativity problems for matrix semigroups - D'Costa, J; Ouaknine, J; Worrell, J (41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), 2024)