About Me
I graduated with a PhD in Computer Science from the University of Colorado Boulder, where I was advised by Professor Sriram Sankaranarayanan. My research focuses on safety verification of autonomous systems using predictive runtime monitoring.
Education
Ph.D. in Computer Science, University of Colorado Boulder, 2019-2022
M.S. in Computer Science, University of Colorado Boulder, 2017-2019
B.S. in Computer Science, Republic of Korea Air Force Academy, 2006-2010
Publications
[ICRA’21] Predictive Runtime Monitoring for Mobile Robots using Logic-Based Bayesian Intent Inference
Hansol Yoon, and Sriram Sankaranarayanan,
International Conference on Robotics and Automation (ICRA), 2021
[pdf] [demo] [presentation]
[IROS’20] Predictive Runtime Monitoring of Vehicle Models Using Bayesian Estimation and Reachability Analysis
Yi Chou, Hansol Yoon, and Sriram Sankaranarayanan,
International Conference on Intelligent Robots and Systems (IROS), 2020
[pdf] [demo] [presentation]
[RV’19] Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs
Hansol Yoon, Yi Chou, Xin Chen, Eric Frew, and Sriram Sankaranarayanan,
International Conference on Runtime Verification (RV), 2019
[pdf]