( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Neural Network Compression of ACAS Xu is Unsafe: Closed-Loop Verification through Quantized State Backreachability.

, и . CoRR, (2022)

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.

Claudia Bak

Christopher Bak

Anna Bak

Friedhelm Bak

Kacper Bak

 

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

A Comparison of Approaches for Solving Hard Graph-Theoretic Problems., , и . CoRR, (2015)Numerical verification of affine systems with up to a billion dimensions., , и . HSCC, стр. 23-32. ACM, (2019)Memory-centric scheduling for multicore hard real-time systems., , , , и . Real Time Syst., 48 (6): 681-715 (2012)Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets., , , и . IEEE Trans. Autom. Control., 68 (12): 7771-7786 (декабря 2023)The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results., , , и . CoRR, (2023)First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)., , , , и . CoRR, (2023)A Predictable Execution Model for COTS-Based Embedded Systems., , , , , , и . IEEE Real-Time and Embedded Technology and Applications Symposium, стр. 269-279. IEEE Computer Society, (2011)A generalized model for preventing information leakage in hard real-time systems., , , , , и . RTAS, стр. 271-282. IEEE Computer Society, (2015)Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems., , и . FORMATS, том 12860 из Lecture Notes in Computer Science, стр. 50-66. Springer, (2021)Numerical Verification of 10000-dimensional Linear Systems 10000x Faster.. ARCH@ADHS, том 54 из EPiC Series in Computing, стр. 135-144. EasyChair, (2018)