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
1532019
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
962014
Computational mathematics with SageMath
P Zimmermann, A Casamayou, N Cohen, G Connan, T Dumont, L Fousse, ...
Society for Industrial and Applied Mathematics, 2018
712018
Quantum walking in curved spacetime
P Arrighi, S Facchini, M Forets
Quantum Information Processing 15, 3467-3486, 2016
672016
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
652018
Discrete Lorentz covariance for quantum walks and quantum cellular automata
PASFM Forets
New Journal of Physics 16 (9), 093007, 2014
502014
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
472022
ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
D Manzanas Lopez, M Althoff, L Benet, C Blab, M Forets, Y Jia, ...
EPiC Series in Computing, 2024
38*2024
Explicit error bounds for Carleman linearization
M Forets, A Pouly
arXiv preprint arXiv:1711.02552, 2017
382017
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
302012
LazySets. jl: Scalable symbolic-numeric set computations
M Forets, C Schilling
arXiv preprint arXiv:2110.01711, 2021
272021
Arch-comp22 category report: Artificial intelligence and neural network control systems (ainncs) for continuous and hybrid systems plants
DM Lopez, M Althoff, L Benet, X Chen, J Fan, M Forets, C Huang, ...
9th International Workshop on Applied Verification of Continuous and Hybrid …, 2022
222022
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
222020
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
192021
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
192019
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
172019
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
152017
Semidefinite approximations of invariant measures for polynomial systems
V Magron, M Forets, D Henrion
arXiv preprint arXiv:1807.00754, 2018
142018
ARCH-COMP21 category report: continuous and hybrid systems with nonlinear dynamics
L Geretti, JA dit Sandretto, M Althoff, L Benet, A Chapoutot, P Collins, ...
8th International Workshop on Applied Verification of Continuous and Hybrid …, 2021
122021
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
122020
The system can't perform the operation now. Try again later.
Articles 1–20