( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Effect-Abstraction Based Relaxation for Linear Numeric Planning.

, , , и . IJCAI, стр. 4787-4793. ijcai.org, (2018)

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 Lebedynskyy

Sergiy Davydenko

Sergiy Kryvych

 

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

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