Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sung Woo Choi
conf.researchr.org general profile
ICSE 2023 profile
ICSE 2025 profile
Registered user since Fri 19 Nov 2021
Name:
Sung Woo Choi
Contributions
2025
FormaliSE
Committee Member in Artifact Evaluation Committee within the Artifact Track-track
2023
FormaliSE
Author of Verifying Binary Neural Networks on Continuous Input Space using Star Reachability within the FormaliSE 2023-track
Share
x
Thu 21 Nov 14:06