Publications

Maksim Kukushkin, Martin Bogdan, und Thomas Schmid. On optimizing morphological neural networks for hyperspectral image classification. In Wolfgang Osten (Hrsg.), Sixteenth International Conference on Machine Vision (ICMV 2023), (13072):1307202, SPIE, 2024. [PUMA: classification computer deep hyperspectral image learning mathematical morphological morphology networks neuronal nopdf remote sensing vision] URL

Timo P. Gros, David Groß, Stefan Gumhold, Jörg Hoffmann, Michaela Klauck, und Marcel Steinmetz. TraceVis: Towards Visualization for Deep Statistical Model Checking. Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV, 27–46, Springer-Verlag, Berlin, Heidelberg, 2020. [PUMA: Checking Model Networks Neural Statistical Visualization nopdf] URL