Marcelo Forets
Orcid: 0000-0002-9831-7801
According to our database1,
Marcelo Forets
authored at least 28 papers
between 2015 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Int. J. Approx. Reason., January, 2024
2023
Proceedings of the Bridging the Gap Between AI and Reality, 2023
2022
Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version).
Inf. Comput., 2022
Proceedings of the Integrated Formal Methods - 17th International Conference, 2022
Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
Combining Set Propagation with Finite Element Methods for Time Integration in Transient Solid Mechanics Problems.
CoRR, 2021
Proceedings of the Reachability Problems - 15th International Conference, 2021
ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021
Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021
2020
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
Case Study: Reachability and Scalability in a Unified Combat-Command-and-Control Model.
Proceedings of the Reachability Problems - 14th International Conference, 2020
Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions.
Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020
Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020
2019
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019
Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019
2018
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018
2017
CoRR, 2017
Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017
Constructing verification models of nonlinear Simulink systems via syntactic hybridization.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
2016
2015
Marches quantiques et mécanique quantique relativiste. (Quantum walks and relativistic quantum mechanics).
PhD thesis, 2015