I agree that this site is using cookies. You can find further informations here.
X
Bogomolov, Sergiy
77  results:
Search for persons X
?
1

Zero-One Attack: Degrading Closed-Loop Neural Network Contr..:

, In: 2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS),
Bak, Stanley ; Bogomolov, Sergiy ; Hekal, Abdelrahman... - p. 12-22 , 2024
Link: https://doi.org/10.1109/..
 
?
2

Reachability analysis of FMI models using data-driven dynam..:

Bogomolov, Sergiy ; Gomes, Cláudio ; Isasa, Carlos...
SIMULATION.  , 2024
Link: https://doi.org/10.1177/..
 
?
3

Falsification using Reachability of Surrogate Koopman Model:

, In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control,
Bak, Stanley ; Bogomolov, Sergiy ; Hekal, Abdelrahman... - p. 1-13 , 2024
Link: https://dl.acm.org/doi/1..
 
?
4

AutoKoopman: A Toolbox for Automated System Identification ..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Lew, Ethan ; Hekal, Abdelrahman ; Potomkin, Kostiantyn... - p. 237-250 , 2023
Link: https://doi.org/10.1007/..
 
?
5

A Refinement-based Formal Development of Cyber-physical Rai..:

Aït-Ameur, Yamine ; Bogomolov, Sergiy ; Dupont, Guillaume...
Formal Aspects of Computing.  35 (2023)  1 - p. 1-1 , 2023
Link: https://doi.org/10.1145/..
 
?
6

Reachability of Koopman Linearized Systems Using Random Fou..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Bak, Stanley ; Bogomolov, Sergiy ; Hencey, Brandon... - p. 490-510 , 2022
Link: https://doi.org/10.1007/..
 
?
7

Runtime Assurance for Autonomous Driving with Neural Reacha..:

, In: 2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC),
Bogomolov, Sergiy ; Hekal, Abdelrahman ; Hoxha, Bardh. - p. 2634-2641 , 2022
Link: https://doi.org/10.1109/..
 
?
8

Formal Modeling and Analysis of Timed Systems: 20th Interna.. 

Lecture Notes in Computer Science, 13465
Bogomolov, Sergiy ; Parker, David - 1st ed. 2022 . , 2022
Link: https://doi.org/10.1007/..
 
?
9

Decomposing reach set computations with low-dimensional set..:

Bogomolov, Sergiy ; Forets, Marcelo ; Frehse, Goran..
Information and Computation.  289 (2022)  - p. 104937 , 2022
Link: https://doi.org/10.1016/..
 
?
10

Data-Driven Reachability Analysis of Digital Twin FMI Model:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation. Practice,
Bogomolov, Sergiy ; Fitzgerald, John ; Soudjani, Sadegh. - p. 139-158 , 2022
Link: https://doi.org/10.1007/..
 
?
11

Reachability Analysis and Simulation for Hybridised Event-B..:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,
Aït-Ameur, Yamine ; Bogomolov, Sergiy ; Dupont, Guillaume.. - p. 109-128 , 2022
Link: https://doi.org/10.1007/..
 
?
12

Falsification of hybrid systems with symbolic reachability ..:

Bogomolov, Sergiy ; Frehse, Goran ; Gurung, Amit...
Nonlinear Analysis: Hybrid Systems.  42 (2021)  - p. 101093 , 2021
Link: https://doi.org/10.1016/..
 
?
13

Proceedings of the 24th International Conference on Hybrid ..:

Bogomolov, Sergiy ; Jungers, Raphaël , 2021
Link: https://dl.acm.org/doi/1..
 
?
14

Proceedings of the 1st International Workshop on Verificati..:

Bogomolov, Sergiy ; Fisher, Michael ; Kress-Gazit, Hadas.. , 2021
Link: https://dl.acm.org/doi/1..
 
?
15

Reachability Analysis of Nonlinear Systems Using Hybridizat..:

, In: Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems,
Li, Dongxu ; Bak, Stanley ; Bogomolov, Sergiy - p. 265-282 , 2020
Link: https://doi.org/10.1007/..
 
1-15