Obserwuj
Marcelo Alejandro Forets Irurtia
Marcelo Alejandro Forets Irurtia
Universidad de la República
Zweryfikowany adres z utec.edu.uy - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
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
862014
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
752019
Quantum walking in curved spacetime
P Arrighi, S Facchini, M Forets
Quantum Information Processing 15 (8), 3467-3486, 2016
562016
Computational mathematics with SageMath
P Zimmermann, A Casamayou, N Cohen, G Connan, T Dumont, L Fousse, ...
Society for Industrial and Applied Mathematics, 2018
532018
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
482018
Discrete Lorentz covariance for quantum walks and quantum cellular automata
PASFM Forets
New Journal of Physics 16 (9), 093007, 2014
452014
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
Explicit error bounds for carleman linearization
M Forets, A Pouly
arXiv preprint arXiv:1711.02552, 2017
212017
ARCH-COMP20 category report: Continuous and hybrid systems with nonlinear dynamics
L Geretti, J Alexandre Dit Sandretto, M Althoff, L Benet, A Chapoutot, ...
Proc. of the 7th International Workshop on Applied Verification of …, 2020
142020
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, ...
Proc. of the 6th International Workshop on Applied Verification of …, 2019
132019
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
132019
ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
TT Johnson, DM Lopez, L Benet, M Forets, S Guadalupe, C Schilling, ...
ARCH@ ADHS, 90-119, 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
LazySets. jl: scalable symbolic-numeric set computations
M Forets, C Schilling
arXiv preprint arXiv:2110.01711, 2021
92021
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
92018
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
92017
Quantum walks in curved spacetime
P Arrighi, S Facchini, M Forets
arXiv preprint arXiv:1505.07023, 2015
82015
Semidefinite approximations of invariant measures for polynomial systems
V Magron, M Forets, D Henrion
arXiv preprint arXiv:1807.00754, 2018
72018
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
52022
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
L Geretti, JAD Sandretto, M Althoff, L Benet, A Chapoutot, P Collins, ...
ARCH@ ADHS, 32-54, 2021
52021
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20