Matthias Volk

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Frequent co-authors

Linus Heck (1)Sebastian Junges (1)Joost-Pieter Katoen (1)Tim Quatmann (1)

Papers (1)

Mar 16, 2026

Matthias Volk +41d ago

Probabilistic Model Checking Taken by Storm

Storm's decade-long development now offers AI researchers a performant and Python-friendly probabilistic model checker ready for tackling complex MDPs and uncertainties.

Matthias Volk, Linus Heck, Sebastian Junges +2

Search

Matthias Volk

Publication activitypapers/week, last 8 weeks

Frequent co-authors

Papers (1)