João Sousa Pinto

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 8

Top Topics

Set Of Linear Equations

Linear Dynamical Systems

Jacobian Matrix

Top Venues

Publications

João Sousa Pinto, Dominique Orban
An efficient algorithm for solving linear equality-constrained LQR problems. CoRR (2024)
João Sousa Pinto, Dominique Orban
Primal-Dual iLQR. CoRR (2024)
Nathanaël Fijalkow, Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell
On the decidability of reachability in linear time-invariant systems. HSCC (2019)
Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell
On the Decidability of Membership in Matrix-exponential Semigroups. J. ACM 66 (3) (2019)
Nathanaël Fijalkow, Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell
On the Decidability of Reachability in Linear Time-Invariant Systems. CoRR (2018)
Joël Ouaknine, João Sousa Pinto, James Worrell
On the Polytope Escape Problem for Continuous Linear Dynamical Systems. HSCC (2017)
Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell
Solvability of Matrix-Exponential Equations. CoRR (2016)
Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell
Solvability of Matrix-Exponential Equations. LICS (2016)
Joël Ouaknine, João Sousa Pinto, James Worrell
On Termination of Integer Linear Loops. SODA (2015)
Joël Ouaknine, João Sousa Pinto, James Worrell
The Polyhedral Escape Problem is Decidable. CoRR (2015)
Joël Ouaknine, João Sousa Pinto, James Worrell
On Termination of Integer Linear Loops. CoRR (2014)