Die Erweiterung der Verifizierungsmethode auf Systeme mit unterschiedlichen Aktivierungsfunktionen könnte durch die Implementierung von linearen Relaxationen erfolgen. Dies würde es ermöglichen, auch komplexe Aktivierungsfunktionen wie tanh oder Sigmoid zu berücksichtigen. Durch die Verwendung von linearen Relaxationen könnten die nicht-linearen Aktivierungsfunktionen approximiert werden, um die Verifizierung auf Systemen mit vielfältigen Aktivierungsfunktionen durchzuführen. Dieser Ansatz würde es ermöglichen, die Sicherheit von Multiagentensystemen mit unterschiedlichen neuronalen Netzwerksteuerungen zu gewährleisten, unabhängig von der spezifischen Aktivierungsfunktion.