( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
First three years of the international verification of neural networks competition (VNN-COMP).

, , , , и . Int. J. Softw. Tools Technol. Transf., 25 (3): 329-339 (июня 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

Astrid Taylor

 

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

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)Numerical verification of affine systems with up to a billion dimensions., , и . HSCC, стр. 23-32. ACM, (2019)Dynamic Mode Decomposition for Continuous Time Systems with the Liouville Operator., , , и . J. Nonlinear Sci., 32 (1): 5 (2022)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)Reachability Analysis for High-Index Linear Differential Algebraic Equations., , , , и . FORMATS, том 11750 из Lecture Notes in Computer Science, стр. 160-177. Springer, (2019)