Sung Woo Choi

PhD student, department of computer & information science & engineering, University of Florida

Joined

May 2024

Names

Sung Woo Choi (Preferred)

Emails

****@huskers.unl.edu (Confirmed)

,

****@ufl.edu (Confirmed)

Personal Links

Career & Education History

PhD student

department of computer & information science & engineering, University of Florida (ufl.edu)

2025 – 2028

Advisors, Relations & Conflicts

PhD Advisor

2020 – Present

Expertise

No areas of expertise listed

Publications

Perception-based Runtime Monitoring and Verification for Human-Robot Construction Systems
Apala Pramanik, Sung Woo Choi, Yuntao Li, Luan Viet Nguyen, Kyungki Kim, Hoang-Dung Tran
- MEMOCODE 2024
- Readers: Everyone
Verification of Recurrent Neural Networks with Star Reachability
Hoang-Dung Tran, Sung Woo Choi, Xiaodong Yang, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov
- HSCC 2023
- Readers: Everyone
Verifying Binary Neural Networks on Continuous Input Space using Star Reachability
Mykhailo Ivashchenko, Sung Woo Choi, Luan Viet Nguyen, Hoang-Dung Tran
- FormaliSE 2023
- Readers: Everyone
NNV 2.0: The Neural Network Verification Tool
Diego Manzanas Lopez, Sung Woo Choi, Hoang-Dung Tran, Taylor T. Johnson
- Published: 01 Jan 2023, Last Modified: 13 Nov 2023
- CAV (2) 2023
- Readers: Everyone

Co-Authors