2026preprint

Policy Library CBF: Finite-Horizon Safety at Runtime via Parallel Rollouts

Taekyung Kim, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos, Dimitra Panagou

arXiv preprint arXiv:2605.16588, 2026

Topics: Optimal Planning and Safe Control; Runtime Verification and Monitoring

Citation

@inproceedings{Kim26-PolicyLibraryCBF,
  title = {Policy Library CBF: Finite-Horizon Safety at Runtime via Parallel Rollouts},
  author = {Taekyung Kim and Hideki Okamoto and Bardh Hoxha and Georgios Fainekos and Dimitra Panagou},
  booktitle = {arXiv preprint arXiv:2605.16588, 2026},
  year = {2026},
  url = {https://arxiv.org/abs/2605.16588},
  keywords = {Optimal Planning and Safe Control, Runtime Verification and Monitoring}
}