( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.

, , , , , , , , , и . ARCH, том 74 из EPiC Series in Computing, стр. 107-139. EasyChair, (2020)

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.

Hoang-Dung Tran

Tran Trung Dung

Tran Ngoc Dung

Tran the Dung

Tran Anh Dung

 

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

Improved Geometric Path Enumeration for Verifying ReLU Neural Networks., , , и . CAV (1), том 12224 из Lecture Notes in Computer Science, стр. 66-96. Springer, (2020)Neural Network Compression of ACAS Xu is Unsafe: Closed-Loop Verification through Quantized State Backreachability., и . CoRR, (2022)Neural Network Repair with Reachability Analysis., , , , , и . CoRR, (2021)Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis., , и . ARCH@CPSWeek, том 34 из EPiC Series in Computing, стр. 89-97. EasyChair, (2015)Verification of Closed-loop Systems with Neural Network Controllers., , , и . ARCH@CPSIoTWeek, том 61 из EPiC Series in Computing, стр. 201-210. EasyChair, (2019)Verification of Recurrent Neural Networks with Star Reachability., , , , , и . HSCC, стр. 6:1-6:13. ACM, (2023)Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach., , , и . CoRR, (2020)Output Reachable Set Estimation and Verification for Multilayer Neural Networks., , и . IEEE Trans. Neural Networks Learn. Syst., 29 (11): 5777-5783 (2018)Guaranteed cost static output feedback for networked control systems., , и . ICARCV, стр. 1267-1272. IEEE, (2014)Parallelizable reachability analysis algorithms for feed-forward neural networks., , , , , , и . FormaliSE@ICSE, стр. 31-40. IEEE / ACM, (2019)