<p>PAC‑Lernen liefert probabilistische Sicherheitsbewertung für Mealy‑Maschinen</p> <p>Ein neues Verfahren aus dem Bereich der Cyber‑Physical Systems (CPS) nutzt Daten, um die Sicherheit von Systemen, die als Mealy‑Maschine modelliert sind, auf einer endlichen Zeithorizont von n Schritten zu bestimmen. Dabei wird das Probably Approximately Correct (PAC) Lernparadigma angewandt, sodass die berechnete Sicherheitswahrscheinlichkeit mit einer klaren statistischen Konfidenz versehen wird.</p> <p>Der Ansatz kombi