TY  - RPRT
TI  - pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis
AU  - Hanna Krasowski
AU  - Elizabeth Dietrich
AU  - Emir Cem Gezer
AU  - Roger Skjetne
AU  - Asgeir Johan Sørensen
AU  - Murat Arcak
PY  - 2026
DO  - 10.1109/lcsys.2026.3715556
UR  - https://arxiv.org/abs/2511.00934
ID  - 2511.00934
ER  -