@misc{indiciae841660805f0a,
  title = {pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis},
  author = {Hanna Krasowski and Elizabeth Dietrich and Emir Cem Gezer and Roger Skjetne and Asgeir Johan Sørensen and Murat Arcak},
  year = {2026},
  doi = {10.1109/lcsys.2026.3715556},
  url = {https://arxiv.org/abs/2511.00934},
  note = {Source identifier: 2511.00934}
}