Follow
Hansol Yoon
Hansol Yoon
Republic of Korea Air Force
Verified email at colorado.edu - Homepage
Title
Cited by
Cited by
Year
Predictive runtime monitoring for linear stochastic systems and applications to geofence enforcement for UAVs
H Yoon, Y Chou, X Chen, E Frew, S Sankaranarayanan
Runtime Verification: 19th International Conference, RV 2019, Porto …, 2019
252019
Predictive runtime monitoring of vehicle models using Bayesian estimation and reachability analysis
Y Chou, H Yoon, S Sankaranarayanan
2020 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2020
242020
Predictive runtime monitoring for mobile robots using logic-based bayesian intent inference
H Yoon, S Sankaranarayanan
2021 IEEE International Conference on Robotics and Automation (ICRA), 8565-8571, 2021
132021
Mathematical models of human drivers using artificial risk fields
E Jensen, M Luster, H Yoon, B Pitts, S Sankaranarayanan
2022 IEEE 25th International Conference on Intelligent Transportation …, 2022
52022
Temporal Logic-Based Intent Monitoring for Mobile Robots
H Yoon, S Sankaranarayanan
2023 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2023
2023
Predictive Runtime Monitoring for Safe Autonomy
H Yoon
University of Colorado at Boulder, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–6