@misc{indiciae6a5d68d57e25,
  title = {Data-Driven Probabilistic Evaluation of Logic Properties with PAC-Confidence on Mealy Machines},
  author = {Swantje Plambeck and Ali Salamati and Eyke Huellermeier and Goerschwin Fey},
  year = {2025},
  url = {https://arxiv.org/abs/2508.14710},
  note = {Source identifier: 2508.14710}
}