The following pages link to Joao Sousa-Pinto (Q4635943):
Displayed 6 items.
- Solvability of Matrix-Exponential Equations (Q4635944) (← links)
- On the Decidability of Membership in Matrix-exponential Semigroups (Q5215447) (← links)
- On the decidability of reachability in linear time-invariant systems (Q5239222) (← links)
- On the Polytope Escape Problem for Continuous Linear Dynamical Systems (Q5275313) (← links)
- On Termination of Integer Linear Loops (Q5363097) (← links)
- On the Decidability of Reachability in Linear Time-Invariant Systems (Q6297939) (← links)