Generierung von Gegenbeispielen unter Berücksichtigung zeitlicher Hintergrundinformationen für die prädiktive Prozessüberwachung
Die Einbeziehung von zeitlichen Hintergrundinformationen in den Prozess der Generierung von Gegenbeispielen ermöglicht die Erstellung von Gegenbeispielen, die besser mit den zeitlichen Prozessbeziehungen übereinstimmen, ohne dabei an traditionellen Qualitätsmetriken für Gegenbeispiele einzubüßen.