Angriff der Roboter? Automatisierte Synthese