Data-Driven Probabilistic Evaluation of Logic Properties with PAC-Confidence on Mealy Machines

Swantje Plambeck, Ali Salamati, Eyke Huellermeier +1

Cyber-Physical Systems (CPS) are complex systems that require powerful models for tasks like verification, diagnosis, or debugging. Often, suitable models are not available and man…