Graphical editor for visual specification of LTL properties based on time series.
Primary LanguageJava