Validation Without Data - Formalizing Stylized Facts Of Time Series. - Pia Wilsdorf; Marian Zuska; Philipp Andelfinger; Adelinde M. Uhrmacher; Florian Peters (WSC, 2023)