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
1182019
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
692018
Quantum walking in curved spacetime
P Arrighi, S Facchini, M Forets
Quantum Information Processing 15, 3467-3486, 2016
632016
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
Discrete Lorentz covariance for quantum walks and quantum cellular automata
PASFM Forets
New Journal of Physics 16 (9), 093007, 2014
482014
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
322022
Explicit error bounds for Carleman linearization
M Forets, A Pouly
arXiv preprint arXiv:1711.02552, 2017
312017
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
292012
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-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
DM Lopez, P Musau, HD Tran, S Dutta, TJ Carpenter, R Ivanov, ...
ARCH@ CPSIoTWeek, 103-119, 2019
212019
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
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
132022
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
112021
Semidefinite approximations of invariant measures for polynomial systems
V Magron, M Forets, D Henrion
arXiv preprint arXiv:1807.00754, 2018
112018
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
The system can't perform the operation now. Try again later.
Articles 1–20