( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Empirical Analysis of Benchmark Generation for the Verification of Neural Network Image Classifiers.

, и . AISoLA, том 14380 из Lecture Notes in Computer Science, стр. 331-347. Springer, (2023)

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.

Johnson T K Lim

Ulrike Taylor

Frank Taylor

Russel Taylor

Paul Taylor

 

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

Monsters in the Dark: Sanitizing Hidden Threats with Diffusion Models., , и . CoRR, (2023)First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)., , , , и . CoRR, (2023)Large-Scale Linear Systems from Order-Reduction., , и . ARCH@CPSWeek, том 43 из EPiC Series in Computing, стр. 60-67. EasyChair, (2016)Dynamic Mode Decomposition for Continuous Time Systems with the Liouville Operator., , , и . J. Nonlinear Sci., 32 (1): 5 (2022)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)Discrete-Space Analysis of Partial Differential Equations., , и . ARCH@ADHS, том 54 из EPiC Series in Computing, стр. 185-195. EasyChair, (2018)ARCH-COMP18 Repeatability Evaluation Report.. ARCH@ADHS, том 54 из EPiC Series in Computing, стр. 128-134. EasyChair, (2018)Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal)., и . ARCH@ADHS, том 54 из EPiC Series in Computing, стр. 196-207. EasyChair, (2018)Periodically-Scheduled Controller Analysis Using Hybrid Systems Reachability and Continuization., и . RTSS, стр. 195-205. IEEE Computer Society, (2015)Real-Time Reachability for Verified Simplex Design., , , и . RTSS, стр. 138-148. IEEE Computer Society, (2014)