Mykhailo Ivashchenko

According to our database, Mykhailo Ivashchenko authored at least 2 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Reachability Analysis of Sigmoidal Neural Networks.

Sung Woo Choi, Mykhailo Ivashchenko, Luan Viet Nguyen, Hoang-Dung Tran

ACM Trans. Embed. Comput. Syst., May, 2025

2023

Verifying Binary Neural Networks on Continuous Input Space using Star Reachability.

Mykhailo Ivashchenko, Sung Woo Choi, Luan Viet Nguyen, Hoang-Dung Tran

Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023