Artifacts, Datasets and Packages
Systems: Classification of Driving Scenarios and Checking of Functional Requirements in Recorded Data, (2024). https://github.com/tudo-aqua/stars-auna-experiments Till Schallau, Stefan Naujokat, Fiona Kullmann [...] orial . LaTeX Packages Dominik Schmid, Till Schallau: Latex package for Temporal Logic Operators (2024). https://github.com/tudo-aqua/temporal-logic-latex-package , https://ctan.org/pkg/temporal-logic …