Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mykhailo Ivashchenko
conf.researchr.org general profile
ICSE 2023 profile
Registered user since Wed 1 Mar 2023
Name:
Mykhailo Ivashchenko
Country:
United States
Affiliation:
University of Nebraska-Lincoln
Contributions
2023
FormaliSE
Author of Verifying Binary Neural Networks on Continuous Input Space using Star Reachability within the FormaliSE 2023-track
Share
x
Thu 12 Dec 14:29