( en | de | ru )

 

Disambiguation of "Forets, Marcelo"

Author of the publication

copydeleteadd this publication to your clipboard
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

, , , , , , , , , , , , and . ARCH@ADHS, volume 80 of EPiC Series in Computing, page 32-54. EasyChair, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Marcelo Ephraim

Marcelo Trallero

Marcelo Bertasso

Marcelo Backes

Marcelo Giovannetti

 

Other publications of authors with the same name

Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions., , and . MEMOCODE, page 1-6. IEEE, (2020)ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , , , , , and . ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 14-40. EasyChair, (2019)The Inverse Problem for Neural Networks., and . AISoLA, volume 14380 of Lecture Notes in Computer Science, page 241-255. Springer, (2023)ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants., , , , , , , , , and 2 other author(s). ARCH@SAFECOMP, volume 90 of EPiC Series in Computing, page 142-184. EasyChair, (2022)ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants., , , , , and . ARCH, volume 96 of EPiC Series in Computing, page 89-125. EasyChair, (2023)ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , and . ARCH@SAFECOMP, volume 90 of EPiC Series in Computing, page 58-85. EasyChair, (2022)ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , , , , and . ARCH, volume 96 of EPiC Series in Computing, page 34-60. EasyChair, (2023)ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics., , , , , , , , , and 3 other author(s). ARCH, volume 74 of EPiC Series in Computing, page 49-75. EasyChair, (2020)ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants., , , , , , , , , and . ARCH@ADHS, volume 80 of EPiC Series in Computing, page 90-119. EasyChair, (2021)Constructing verification models of nonlinear Simulink systems via syntactic hybridization., , and . CDC, page 1788-1795. IEEE, (2017)