( en | de | ru )

 

Disambiguierung von "Forets, Marcelo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

, , , , , , , , , , , , und . ARCH@ADHS, Volume 80 von EPiC Series in Computing, Seite 32-54. EasyChair, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Marcelo Ephraim

Marcelo Trallero

Marcelo Giovannetti

Marcelo Klötzle

Marcelo Bertasso

 

Weitere Publikationen von Autoren mit dem selben Namen

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