( en | de | ru )

 

Disambiguierung von "Tran, Hoang-Dung"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.

, , , , , , , , , und . ARCH, Volume 74 von EPiC Series in Computing, Seite 107-139. EasyChair, (2020)

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.

Hoang-Dung Tran

Tran Trung Dung

Tran Ngoc Dung

Tran the Dung

Tran Anh Dung

 

Weitere Publikationen von Autoren mit dem selben Namen

Improved Geometric Path Enumeration for Verifying ReLU Neural Networks., , , und . CAV (1), Volume 12224 von Lecture Notes in Computer Science, Seite 66-96. Springer, (2020)Neural Network Repair with Reachability Analysis., , , , , und . CoRR, (2021)Neural Network Compression of ACAS Xu is Unsafe: Closed-Loop Verification through Quantized State Backreachability., und . CoRR, (2022)Verification of Recurrent Neural Networks with Star Reachability., , , , , und . HSCC, Seite 6:1-6:13. ACM, (2023)Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis., , und . ARCH@CPSWeek, Volume 34 von EPiC Series in Computing, Seite 89-97. EasyChair, (2015)Verification of Closed-loop Systems with Neural Network Controllers., , , und . ARCH@CPSIoTWeek, Volume 61 von EPiC Series in Computing, Seite 201-210. EasyChair, (2019)Guaranteed cost static output feedback for networked control systems., , und . ICARCV, Seite 1267-1272. IEEE, (2014)On reachable set estimation for discrete-time switched linear systems under arbitrary switching., , und . ACC, Seite 4534-4539. IEEE, (2017)NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems., , , , , , , und . CAV (1), Volume 12224 von Lecture Notes in Computer Science, Seite 3-17. Springer, (2020)Parallelizable reachability analysis algorithms for feed-forward neural networks., , , , , , und . FormaliSE@ICSE, Seite 31-40. IEEE / ACM, (2019)