Sung Woo Choi

25 papers B 3C 2Journal 11Unranked 9
YearRankTypeTitle / Venue / Authors
2025 — conf
ProbStar Temporal Logic for Verifying Complex Behaviors of Learning-enabled Systems.
HSCC
Hoang-Dung Tran, Sung Woo Choi, Yuntao Li, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos
2025 J jnl
Reachability Analysis of Sigmoidal Neural Networks.
ACM Trans. Embed. Comput. Syst.
Sung Woo Choi, Mykhailo Ivashchenko, Luan Viet Nguyen, Hoang-Dung Tran
2025 — conf
StarV: A Qualitative and Quantitative Verification Tool for Learning-Enabled Systems.
CAV (2)
Hoang-Dung Tran, Sung Woo Choi, Yuntao Li, Qing Liu, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos
2024 C conf
Perception-based Runtime Monitoring and Verification for Human-Robot Construction Systems.
MEMOCODE
Apala Pramanik, Sung Woo Choi, Yuntao Li, Luan Viet Nguyen, Kyungki Kim, Hoang-Dung Tran
2023 — conf
NNV 2.0: The Neural Network Verification Tool.
CAV (2)
Diego Manzanas Lopez, Sung Woo Choi, Hoang-Dung Tran, Taylor T. Johnson
2023 — conf
Verification of Recurrent Neural Networks with Star Reachability.
HSCC
Hoang-Dung Tran, Sung Woo Choi, Xiaodong Yang, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov
2023 — conf
Verifying Binary Neural Networks on Continuous Input Space using Star Reachability.
FormaliSE
Mykhailo Ivashchenko, Sung Woo Choi, Luan Viet Nguyen, Hoang-Dung Tran
2012 J jnl
Complete subdivision algorithms, II: Isotopic meshing of singular algebraic curves.
J. Symb. Comput.
Michael A. Burr, Sung Woo Choi, Benjamin Galehouse, Chee-Keng Yap
2011 J jnl
Complete Subdivision Algorithms, II: Isotopic Meshing of Singular Algebraic Curves
CoRR
Michael A. Burr, Sung Woo Choi, Benjamin Galehouse, Chee Yap
2008 B conf
Complete subdivision algorithms, II: isotopic meshing of singular algebraic curves.
ISSAC
Michael A. Burr, Sung Woo Choi, Benjamin Galehouse, Chee-Keng Yap
2008 J jnl
Two-dimensional offsets and medial axis transform.
Adv. Comput. Math.
Hyeong In Choi, Sung Woo Choi, Chang Yong Han, Tae-wan Kim, Song-Hwa Kwon, Hwan Pyo Moon, Kyeong Hah Roh, Nam-Sook Wee
2006 J jnl
Shortest Path amidst Disc Obstacles Is Computable.
Int. J. Comput. Geom. Appl.
Ee-Chien Chang, Sung Woo Choi, DoYong Kwon, Hyungju Park, Chee-Keng Yap
2006 J jnl
Stationary subdivision schemes reproducing polynomials.
Comput. Aided Geom. Des.
Sung Woo Choi, Byung-Gook Lee, Yeon Ju Lee, Jungho Yoon
2005 — conf
Shortest path amidst disc obstacles is computable.
SCG
Ee-Chien Chang, Sung Woo Choi, DoYong Kwon, Hyungju Park, Chee-Keng Yap
2004 C conf
A Hybrid Approach to Automatic Word-spacing in Korean.
IEA/AIE
Mi-young Kang, Sung Woo Choi, Hyuk-Chul Kwon
2004 J jnl
Linear one-sided stability of MAT for weakly injective 3D domain.
Comput. Aided Des.
Sung Woo Choi, Hans-Peter Seidel
2002 J jnl
Linear One-Sided Stability of MAT for Weakly Injective Domain.
J. Math. Imaging Vis.
Sung Woo Choi, Hans-Peter Seidel
2002 — conf
Linear onesided stability of MAT for weakly injective 3D domain.
Symposium on Solid Modeling and Applications
Sung Woo Choi, Hans-Peter Seidel
2001 J jnl
Hyperbolic Hausdorff Distance for Medial Axis Transform.
Graph. Model.
Sung Woo Choi, Hans-Peter Seidel
2001 — conf
One-Sided Stability of Medial Axis Transform.
DAGM-Symposium
Sung Woo Choi, Hans-Peter Seidel
2001 — conf
One-sided Stability of MAT and Its Applications.
VMV
Sung Woo Choi, Hans-Peter Seidel
2000 B conf
Fast Scene Change Detection Using Direct Feature Extraction from MPEG Compressed Videos.
ICPR
Young-Min Kim, Sung Woo Choi, Seong-Whan Lee
2000 J jnl
Fast Scene Change Detection using Direct Feature Extraction from MPEG Compressed Videos.
IEEE Trans. Multim.
Seong-Whan Lee, Young-Min Kim, Sung Woo Choi
2000 B conf
Stability Analysis of Medial Axis Transform under Relative Hausdorff Distance.
ICPR
Sung Woo Choi, Seong-Whan Lee
1997 J jnl
New Algorithm for Medial Axis Transform of Plane Domain.
CVGIP Graph. Model. Image Process.
Hyeong In Choi, Sung Woo Choi, Hwan Pyo Moon, Nam-Sook Wee