( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

, , , , , , , , , , , , и . ARCH@ADHS, том 80 из EPiC Series in Computing, стр. 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.

Marcelo Trallero

Marcelo Ephraim

Marcelo Giovannetti

Marcelo Klötzle

Marcelo Bertasso

 

Другие публикации лиц с тем же именем

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