82 citations · 214 across the 25 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2022
On eventual non-negativity and positivity for the weighted sum of powers of matrices
S Akshay, Supratik Chakraborty, Debtanu Pal
The long run behaviour of linear dynamical systems is often studied by looking at eventual properties of matrices and recurrences that underlie the system. A basic problem that lie…
cs.FL2011
Determinization of -automata unified
Hrishikesh Karmarkar, Supratik Chakraborty
We describe a uniform construction for converting -automata with arbitrary acceptance conditions (based on the notion of infinity sets i.e. the set of states visited infinitely…