2024conference

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift

Yiqi Zhao, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V Deshmukh, Lars Lindemann

ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2024

Finalist for Best Paper Award

Topics: Runtime Verification and Monitoring; Risk and Stochasticity

Citation

@inproceedings{zhao2023robust,
  title = {Robust Conformal Prediction for STL Runtime Verification under Distribution Shift},
  author = {Zhao, Yiqi and Hoxha, Bardh and Fainekos, Georgios and Deshmukh, Jyotirmoy V and Lindemann, Lars},
  booktitle = {ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2024},
  year = {2024},
  award = {Finalist for Best Paper Award},
  url = {https://www.bhoxha.com/papers/ICCPS2024.pdf},
  keywords = {Runtime Verification and Monitoring, Risk and Stochasticity}
}