( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
JuliaReach: a toolbox for set-based reachability.

, , , , и . HSCC, стр. 39-44. ACM, (2019)

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.

Andrey Bogomolov

Sergiy Zorya

Sergiy Davydenko

Sergiy Lebedynskyy

Sergiy Tkachov

 

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

Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata., , и . FORMATS, том 10419 из Lecture Notes in Computer Science, стр. 133-150. Springer, (2017)Data-Driven Reachability Analysis of Digital Twin FMI Models., , , и . ISoLA (4), том 13704 из Lecture Notes in Computer Science, стр. 139-158. Springer, (2022)Benchmark Generator for Stratified Controllers of Tank Networks., , , и . ARCH@CPSWeek, том 34 из EPiC Series in Computing, стр. 73-79. EasyChair, (2015)Counterexample-Guided Refinement of Template Polyhedra., , , и . TACAS (1), том 10205 из Lecture Notes in Computer Science, стр. 589-606. (2017)Preface., и . NSV, том 317 из Electronic Notes in Theoretical Computer Science, стр. 1-2. Elsevier, (2015)Zero-One Attack: Degrading Closed-Loop Neural Network Control Systems using State-Time Perturbations., , , , , и . ICCPS, стр. 12-22. IEEE, (2024)Falsification of hybrid systems using symbolic reachability and trajectory splicing., , , , , и . HSCC, стр. 1-10. ACM, (2019)Verification of Fault-Tolerant Clock Synchronization Algorithms., , и . ARCH@CPSWeek, том 43 из EPiC Series in Computing, стр. 36-41. EasyChair, (2016)Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization., , , , и . ADHS, том 54 из IFAC-PapersOnLine, стр. 253-258. Elsevier, (2021)Parallel reachability analysis of hybrid systems in XSpeed., , , , и . Int. J. Softw. Tools Technol. Transf., 21 (4): 401-423 (2019)