Formal Verification for Human-Robot Interaction in Medical Environments. - Benjamin J. Choi; Ju-Youn Park; Chung Hyuk Park (HRI (Companion), 2021)

Targeted Adversarial Denoising Autoencoders (TADA) for Neural Time Series Filtration. - Benjamin J. Choi; Griffin Milsap; Clara A. Scholl; Francesco Tenore; Mattson Ogg (CoRR, 2025)

Removing Neural Signal Artifacts with Autoencoder-Targeted Adversarial Transformers (AT-AT). - Benjamin J. Choi (CoRR, 2025)

Geometric Machine Learning on EEG Signals. - Benjamin J. Choi (CoRR, 2025)