TY  - RPRT
TI  - Data-Driven Probabilistic Evaluation of Logic Properties with PAC-Confidence on Mealy Machines
AU  - Swantje Plambeck
AU  - Ali Salamati
AU  - Eyke Huellermeier
AU  - Goerschwin Fey
PY  - 2025
UR  - https://arxiv.org/abs/2508.14710
ID  - 2508.14710
ER  -