The two papers “What is the Best Algorithm for MDP Model Checking?” by Tim Quatmann and “The Revised Practitioner’s Guide to MDP Model Checking Algorithms” by Arnd Hartmanns (University of Twente), Sebastian Junges (Radboud University), Tim Quatmann, and Maximilian Weininger (TU Munich, IST Austria) have been accepted in the International Journal on Software Tools for […]

The newspaper Aachener Nachrichten published the article Storm findet sicherheitskritische Softwarefehler. The article addresses Storm and its applications in industry.