João Sousa Pinto

14 papers A* 2Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Primal-Dual iLQR for GPU-Accelerated Learning and Control in Legged Robots.
IEEE Robotics Autom. Lett.
Lorenzo Amatucci, João Sousa Pinto, Giulio Turrisi, Dominique Orban, Victor Barasuol, Claudio Semini
2025 J jnl
A Regularized Riccati Recursion for Interior-Point Optimal Control.
CoRR
João Sousa Pinto, Dominique Orban
2025 J jnl
Primal-Dual iLQR for GPU-Accelerated Learning and Control in Legged Robots.
CoRR
Lorenzo Amatucci, João Sousa Pinto, Giulio Turrisi, Dominique Orban, Victor Barasuol, Claudio Semini
2024 J jnl
An efficient algorithm for solving linear equality-constrained LQR problems.
CoRR
João Sousa Pinto, Dominique Orban
2024 J jnl
Primal-Dual iLQR.
CoRR
João Sousa Pinto, Dominique Orban
2019 J jnl
On the Decidability of Membership in Matrix-exponential Semigroups.
J. ACM
Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell
2019 — conf
On the decidability of reachability in linear time-invariant systems.
HSCC
Nathanaël Fijalkow, Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell
2018 J jnl
On the Decidability of Reachability in Linear Time-Invariant Systems.
CoRR
Nathanaël Fijalkow, Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell
2017 — conf
On the Polytope Escape Problem for Continuous Linear Dynamical Systems.
HSCC
Joël Ouaknine, João Sousa Pinto, James Worrell
2016 A* conf
Solvability of Matrix-Exponential Equations.
LICS
Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell
2016 J jnl
Solvability of Matrix-Exponential Equations.
CoRR
Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell
2015 A* conf
On Termination of Integer Linear Loops.
SODA
Joël Ouaknine, João Sousa Pinto, James Worrell
2015 J jnl
The Polyhedral Escape Problem is Decidable.
CoRR
Joël Ouaknine, João Sousa Pinto, James Worrell
2014 J jnl
On Termination of Integer Linear Loops.
CoRR
Joël Ouaknine, João Sousa Pinto, James Worrell