Joao Sousa-Pinto

Available identifiers

zbMath Open sousa-pinto.joaoMaRDI QIDQ4635943

List of research outcomes

Publication	Date of Publication	Type
On the Decidability of Membership in Matrix-exponential Semigroups	2020-02-11	Paper
On the decidability of reachability in linear time-invariant systems	2019-10-22	Paper
Solvability of Matrix-Exponential Equations	2018-04-23	Paper
On the Decidability of Reachability in Linear Time-Invariant Systems	2018-02-19	Paper
On Termination of Integer Linear Loops	2017-10-05	Paper
On the Polytope Escape Problem for Continuous Linear Dynamical Systems	2017-07-11	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Joao Sousa-Pinto