Author:
Yoon Hansol,Sankaranarayanan Sriram
Funder
National Science Foundation
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Temporal Logic-Based Intent Monitoring for Mobile Robots;2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS);2023-10-01
2. 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
3. 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
4. Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees;Runtime Verification;2023
5. Decoding Output Sequences for Discrete-Time Linear Hybrid Systems.;25th ACM International Conference on Hybrid Systems: Computation and Control;2022-05-04