I agree that this site is using cookies. You can find further informations here.
X
Marcelo Forets
8  results:
Bookchapter (Online) X
Search for persons X
?
1

The Inverse Problem for Neural Networks:

, In: Bridging the Gap Between AI and Reality; Lecture Notes in Computer Science,
Forets, Marcelo ; Schilling, Christian - p. 241-255 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Conservative Time Discretization: A Comparative Study:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,
Forets, Marcelo ; Schilling, Christian - p. 149-167 , 2022
Link: https://doi.org/10.1007/..
 
?
3

Reachability of Weakly Nonlinear Systems Using Carleman Lin..:

, In: Lecture Notes in Computer Science; Reachability Problems,
Forets, Marcelo ; Schilling, Christian - p. 85-99 , 2021
Link: https://doi.org/10.1007/..
 
?
4

Efficient reachability analysis of parametric linear hybrid..:

, In: 2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE),
Forets, Marcelo ; Freire, Daniel ; Schilling, Christian - p. 1-6 , 2020
Link: https://doi.org/10.1109/..
 
?
5

Application of quantum optimization techniques (QUBO method..:

, In: 2020 IEEE Congreso Bienal de Argentina (ARGENCON),
Hernandez, Fernando ; Diaz, Kenny ; Forets, Marcelo. - p. 1-1 , 2020
Link: https://doi.org/10.1109/..
 
?
6

Case Study: Reachability and Scalability in a Unified Comba..:

, In: Lecture Notes in Computer Science; Reachability Problems,
Bogomolov, Sergiy ; Forets, Marcelo ; Potomkin, Kostiantyn - p. 52-66 , 2020
Link: https://doi.org/10.1007/..
 
?
7

JuliaReach : a toolbox for set-based reachability:

, In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control,
Bogomolov, Sergiy ; Forets, Marcelo ; Frehse, Goran.. - p. 39-44 , 2019
Link: https://dl.acm.org/doi/1..
 
?
8

Reach Set Approximation through Decomposition with Low-dime..:

, In: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week),
Bogomolov, Sergiy ; Forets, Marcelo ; Frehse, Goran... - p. 41-50 , 2018
Link: https://dl.acm.org/doi/1..
 
1-8