mlsanityData to 7 Oct 2026

A storm is Coming: A Modern Probabilistic Model Checker

arXiv 1702.04311 ↗First posted 14 Feb 2017cs.SEcited by 34

Not on the map. Why?

Abstract (arXiv)

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.

Key facts. Cited by 34 papers in the map (data through 7 Oct 2026). First posted on arXiv 14 Feb 2017.

Builds on

No reference list yet.

Built on by

Cited by year (2026 to 7 Oct)

Citing papers per year: 2021: 9; 2022: 6; 2023: 4; 2024: 2; 2025: 5; 2026: 8.

34 papers.

Sort:

By area:

  1. 2022COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checkingcited by 19
  2. 2022Online Shielding for Reinforcement Learningcited by 19
  3. 2021dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Expertscited by 14
  4. 2021Convex Optimization for Parameter Synthesis in MDPscited by 8
  5. 2023Bayesian Learning for the Robust Verification of Autonomous Robotscited by 6
  6. 2022Algebraically Explainable Controllers: Decision Trees and Support Vector Machines Join Forcescited by 5
  7. 2026Verified Detection and Prevention of Concurrency Anomalies in Multi-Agent Large Language Model Systemscited by 5
  8. 2022PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDPcited by 4
  9. 2021Fine-Tuning the Odds in Bayesian Networkscited by 3
  10. 2021Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checkingcited by 3
  11. 2023Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version]cited by 3
  12. 2023Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectivescited by 3
22 more
  1. 2021Inductive Synthesis for Probabilistic Programs Reaches New Horizonscited by 2
  2. 2021Lifted Model Checking for Relational MDPscited by 2
  3. 2021Active Learning of Markov Decision Processes using Baum-Welch algorithm (Extended)cited by 2
  4. 2026TriCEGAR: A Trace-Driven Abstraction Mechanism for Agentic AIcited by 2
  5. 2026Measuring the Unmeasurable: Markov Chain Reliability for LLM Agentscited by 2
  6. 2026Robust Probabilistic Shielding for Safe Offline Reinforcement Learningcited by 2
  7. 2021An Abstraction-based Method to Check Multi-Agent Deep Reinforcement-Learning Behaviorscited by 1
  8. 2022SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methodscited by 1
  9. 2024Formally Verified Approximate Policy Iterationcited by 1
  10. 2025Explaining Control Policies through Predicate Decision Diagramscited by 1
  11. 2025Are Agents Probabilistic Automata? A Trace-Based, Memory-Constrained Theory of Agentic AIcited by 1
  12. 2021Adversarial Robustness Verification and Attack Synthesis in Stochastic Systemscited by 0
  13. 2022Bayesian Statistical Model Checking for Multi-agent Systems using HyperPCTL*cited by 0
  14. 2023MM Algorithms to Estimate Parameters in Continuous-time Markov Chainscited by 0
  15. 2024Probabilistic ML Verification via Weighted Model Integrationcited by 0
  16. 2025Analyzing Value Functions of States in Parametric Markov Chainscited by 0
  17. 2025Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Explorationcited by 0
  18. 2025BayesL: a Logical Framework for the Verification of Bayesian Networkscited by 0
  19. 2026Robustness Analysis of POMDP Policies to Observation Perturbationscited by 0
  20. 2026Value Functions as Supermartingale Certificatescited by 0
  21. 2026Leveraging System-Level Observations to Inform Bayesian Learning of Model Parameters for Quantitative Verificationcited by 0
  22. 2026SoK: Formal Methods for Fact-Checking and Information Integritycited by 0