Simple Science

Hochmoderne Wissenschaft einfach erklärt

Hochmoderne Wissenschaft einfach erklärt

Mirco Giacobbe

Logik in der Informatik Effizientes Modellchecking durch datengestützte Bisimulation

Ein neuer Ansatz nutzt Daten, um die Analyse komplexer Systeme zu vereinfachen.

2025-08-07T18:27:36+00:00 ― 6 min Lesedauer

Logik in der Informatik Überprüfung stochastischer Systeme mit Supermartingales

Supermartingale nutzen, um die Sicherheit und Effizienz von stochastischen Systemen zu gewährleisten.

2025-08-03T15:16:55+00:00 ― 7 min Lesedauer