A Storm is Coming: A Modern Probabilistic Model Checker
By Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk. International Conference on Computer Aided Verification, 2017
441 citations recorded by the source corpus.
We launch the new probabilistic model checker Storm. It features the analysis of discrete- and continuous-time variants of both Markov chains and MDPs. It supports the Prism and JANI modeling languages, probabilistic programs, dynamic fault trees and generalized stochastic Petri nets. It has a modular set-up in which solvers and symbolic engines can easily be exchanged. It offers a Python API for rapid prototyping by encapsulating Storm’s fast and scalable algorithms. Experiments on a variety of benchmarks show its competitive performance.
Subfields: Computational Theory and Mathematics, Software
View Paper: https://www.semanticscholar.org/paper/19e04ed2d7df1a8eaad707e19cff081cbe495d7c
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Computational Theory and Mathematics
In Software
Citations in the corpus
- Towards Verified Artificial Intelligence (2016, background): “ification techniques can also be used for the systematic, adversarial generation of training data for ML components [23]. Techniques for probabilistic verification, such as probabilistic model checking [45,18], should be extended beyond traditional formalisms such as Markov chains or Markov Decision P”