Max Korn

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Pspace Complete

Alternating Time Temporal Logic

Classifier Systems

Top Venues

Publications

Max Korn, Julián Méndez, Sascha Klüppelholz, Ricardo Langner, Christel Baier, Raimund Dachselt
PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking. SEFM (2023)
Max Korn, Philipp Chrszon, Sascha Klüppelholz, Christel Baier, Sascha Wunderlich
Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study. EPEW (2022)