Data-Driven Probabilistic Evaluation of Logic Properties with PAC-Confidence on Mealy Machines. - Swantje Plambeck; Ali Salamati; Eyke Huellermeier; Görschwin Fey (CoRR, 2025)