Follow
Marcelo Alejandro Forets Irurtia
Marcelo Alejandro Forets Irurtia
Universidad de la República
Verified email at utec.edu.uy - Homepage
Title
Cited by
Cited by
Year
JuliaReach: a toolbox for set-based reachability
S Bogomolov, M Forets, G Frehse, K Potomkin, C Schilling
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
1082019
The Dirac equation as a quantum walk: higher dimensions, observational convergence
P Arrighi, V Nesme, M Forets
Journal of Physics A: Mathematical and Theoretical 47 (46), 465302, 2014
912014
Computational mathematics with SageMath
P Zimmermann, A Casamayou, N Cohen, G Connan, T Dumont, L Fousse, ...
Society for Industrial and Applied Mathematics, 2018
642018
Reach set approximation through decomposition with low-dimensional sets and high-dimensional matrices
S Bogomolov, M Forets, G Frehse, F Viry, A Podelski, C Schilling
Proceedings of the 21st International Conference on Hybrid Systems …, 2018
592018
Quantum walking in curved spacetime
P Arrighi, S Facchini, M Forets
Quantum Information Processing 15, 3467-3486, 2016
592016
Discrete Lorentz covariance for quantum walks and quantum cellular automata
PASFM Forets
New Journal of Physics 16 (9), 093007, 2014
472014
Explicit error bounds for Carleman linearization
M Forets, A Pouly
arXiv preprint arXiv:1711.02552, 2017
282017
Spatial quantum search in a triangular network
G Abal, R Donangelo, M Forets, R Portugal
Mathematical Structures in Computer Science 22 (3), 521-531, 2012
282012
Verification of neural-network control systems by integrating Taylor models and zonotopes
C Schilling, M Forets, S Guadalupe
Proceedings of the AAAI Conference on Artificial Intelligence 36 (7), 8169-8177, 2022
272022
LazySets. jl: Scalable symbolic-numeric set computations
M Forets, C Schilling
arXiv preprint arXiv:2110.01711, 2021
212021
ARCH-COMP20 category report: continuous and hybrid systems with nonlinear dynamics
L Geretti, JAD Sandretto, M Althoff, L Benet, A Chapoutot, X Chen, ...
7th International Workshop on Applied Verification of Continuous and Hybrid …, 2020
212020
ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
D Manzanas Lopez, M Althoff, M Forets, TT Johnson, T Ladner, ...
EPiC Series in Computing, 2023
202023
ARCH-COMP21 category report: artificial intelligence and neural network control systems (AINNCS) for continuous and hybrid systems plants
TT Johnson, D Manzanas Lopez, L Benet, M Forets, S Guadalupe, ...
EPiC Series in Computing 80, 2021
162021
ARCH-COMP19 category report: Continuous and hybrid systems with nonlinear dynamics
F Immler, M Althoff, L Benet, A Chapoutot, X Chen, M Forets, L Geretti, ...
EPiC Series in Computing 61, 2019
162019
ARCH-COMP19 category report: Continuous and hybrid systems with linear continuous dynamics
M Althoff, S Bak, M Forets, G Frehse, N Kochdumper, R Ray, C Schilling, ...
Proc. of the 6th International Workshop on Applied Verification of …, 2019
152019
Constructing verification models of nonlinear Simulink systems via syntactic hybridization
N Kekatos, M Forets, G Frehse
2017 ieee 56th annual conference on decision and control (cdc), 1788-1795, 2017
142017
Semidefinite approximations of invariant measures for polynomial systems
V Magron, M Forets, D Henrion
arXiv preprint arXiv:1807.00754, 2018
122018
ARCH-COMP21 category report: Continuous and hybrid systems with nonlinear dynamics
L Geretti, JA dit Sandretto, M Althoff, L Benet, A Chapoutot, P Collins, ...
Proc. of the 8th International Workshop on Applied Verification of …, 2021
112021
Reachability analysis of linear hybrid systems via block decomposition
S Bogomolov, M Forets, G Frehse, K Potomkin, C Schilling
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020
102020
ARCH-COMP18 category report: Continuous and hybrid systems with linear continuous dynamics
M Althoff, S Bak, X Chen, C Fan, M Forets, G Frehse, N Kochdumper, Y Li, ...
Proc. of the 5th International Workshop on Applied Verification for …, 2018
102018
The system can't perform the operation now. Try again later.
Articles 1–20