Author:
Yoon Hansol,Sankaranarayanan Sriram
Funder
National Science Foundation
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Model-Based Runtime Monitoring with Interactive Imitation Learning;2024 IEEE International Conference on Robotics and Automation (ICRA);2024-05-13
2. Model predictive monitoring of dynamical systems for signal temporal logic specifications;Automatica;2024-02
3. Temporal Logic-Based Intent Monitoring for Mobile Robots;2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS);2023-10-01
4. Conformal Prediction for STL Runtime Verification;Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023);2023-05-09
5. Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes;Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control;2023-05-09