Chana Weil-Kennedy

Diese Studie analysiert, wie Agenten interagieren und Konsens erreichen, indem sie ungeordnete Datenprotokolle nutzen.

Ein Überblick über parametrische Systeme und ihre Verifikationsherausforderungen.