Maschinelles Lernen von validierbaren Klassifikatoren zur autonomen Steuerung sicherheitsrelevanter Systeme (Machine Learning of Verifiable Classifiers for Autonomous Control of Safety-related Systems). - Sebastian Nusser; Clemens Otte; Werner Hauptmann; Oskar Leirich; Manfred Krätschmer; Rudolf Kruse (Autom., 2009)