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 | 25 | 2019 |
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 | 24 | 2020 |
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 | 13 | 2021 |
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 | 5 | 2022 |
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 |