Publications

Timo P. Gros, David Groß, Stefan Gumhold, Jörg Hoffmann, Michaela Klauck, and 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] URL

Dianzhao Li, and Ostap Okhrin. Vision-Based DRL Autonomous Driving Agent with Sim2Real Transfer. 2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC), 866-873, 2023. [PUMA: Automobiles Autonomous Measurement Reinforcement Statistical Task Videos analysis learning vehicles]