Skip to content

Latest commit

 

History

History
47 lines (32 loc) · 1.95 KB

publications.md

File metadata and controls

47 lines (32 loc) · 1.95 KB
Raw
title navigation_weight layout
Publications
5
default

{% include includes/toc.html %}

Storm tool papers

{:.alert .alert-info} If you want to cite Storm, please use the most recent paper in this category.

{% bibliography --group_by year --query @*[category=tool] %}

Competition reports

{% bibliography --group_by year --query @*[category=competition] %}

Papers about features in Storm

{:.alert .alert-info} The publications in this category present functionality from which a substantial part is available in Storm's release.

{% bibliography --group_by year --query @*[category=feature] %}

Tools using Storm

  • COOL-MC: Combining single-agent and multi-agent reinforcement learning with model checking
  • jajapy: Baum-Welch algorithm on various kinds of Markov models
  • Momba: Python framework for dealing with quantitative models centered around the JANI-model interchange format
  • Prophesy: Parameter synthesis in Markov models
  • PAYNT: Automated synthesis of probabilistic programs
  • QMaude: Quantitative specification and verification in Maude
  • SAFEST: Dynamic fault-tree analysis tool
  • STAMINA: State-space truncation tool that can analyze infinite-sized models
  • TEMPEST: Synthesis tool for reactive systems and shields in probabilistic environments

Papers using Storm as a backend

{:.alert .alert-info} The publications in this category present tools, algorithms and case studies that use Storm as a backend.

{% bibliography --group_by year --query @*[category=using] %}

{:.alert .alert-danger} If there is a publication missing in some of the lists above, feel free to [contact us]({{ '/about.html#people' | relative_url }}){:.alert-link}.