AST 2023
Mon 15 - Tue 16 May 2023
Melbourne, Australia
co-located with
ICSE 2023
Toggle navigation
Attending
Venue: Melbourne Convention Exhibition Centre | MCEC
ICSE 2023
Keynotes
Melbourne
Victoria
Australia
Code of Conduct
Diversity and Inclusion Plan
Main Conference In-Person Presenter Instructions
Main Conference Virtual Presenter Instructions
Workshop and Co-Located Event Instructions
Session Chair Instructions
Venue Floor Map
Accommodation
Registration
Visa Letter of Invitation
Social Events
Recruitment Opportunities at ICSE 2023
IEEE Computer Society Open Conference Statement
Travel Support
Childcare Support
Program
AST Program
Your Program
Mon 15 May
Tue 16 May
Track/Call
Organization
AST 2023 Committees
Track Committees
Organizing Committee
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
AST 2025
AST 2024
AST 2023
AST 2022
AST 2021
AST 2020
Sign in
Sign up
ICSE 2023
(
series
) /
AST 2023 (
series
) /
Sung Woo Choi
ICSE 2023 profile
conf.research.org general profile
ICSE 2025 profile
Registered user since Fri 19 Nov 2021
Name:
Sung Woo Choi
Contributions
2023
FormaliSE
Verifying Binary Neural Networks on Continuous Input Space using Star Reachability
Show activities from other conferences
Share
ICSE 2023-profile
View general profile
x
Sun 24 Nov 21:18