Follow
João Sousa Pinto
João Sousa Pinto
Verified email at cs.ox.ac.uk - Homepage
Title
Cited by
Cited by
Year
On termination of integer linear loops
J Ouaknine, JS Pinto, J Worrell
Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete …, 2014
522014
On the decidability of reachability in linear time-invariant systems
N Fijalkow, J Ouaknine, A Pouly, J Sousa-Pinto, J Worrell
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
272019
On the polytope escape problem for continuous linear dynamical systems
J Ouaknine, J Sousa-Pinto, J Worrell
Proceedings of the 20th International Conference on Hybrid Systems …, 2017
7*2017
Solvability of matrix-exponential equations
J Ouaknine, A Pouly, J Sousa-Pinto, J Worrell
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
62016
On the decidability of membership in matrix-exponential semigroups
J Ouaknine, A Pouly, J Sousa-Pinto, J Worrell
Journal of the ACM (JACM) 66 (3), 1-24, 2019
22019
Primal-Dual iLQR
J Sousa-Pinto, D Orban
arXiv preprint arXiv:2403.00748, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–6