Skip to content

publications.md

Latest commit

 

History

History
88 lines (63 loc) · 3.21 KB

publications.md

File metadata and controls

88 lines (63 loc) · 3.21 KB
Raw
title Publications
navigation_weight 5
layout default

{% include includes/toc.html %}

Storm tool papers

<script> function toggleBibtex(button) { const container = button.closest('.pub-entry'); const bib = container.querySelector('.bibtex-code'); if (bib.style.display === "none") { bib.style.display = "block"; button.innerText = "Hide BibTeX"; } else { bib.style.display = "none"; button.innerText = "Show BibTeX"; } } function copyBibtex(button) { const container = button.closest('.pub-entry'); const bib = container.querySelector('.bibtex-code').innerText; navigator.clipboard.writeText(bib); button.innerText = "Copied!"; setTimeout(() => button.innerText = "Copy", 1500); } </script>

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

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

Competition reports

{:.alert .alert-info} The publications in this category present tool comparisons.

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

Storm tutorials

{:.alert .alert-info} The publications in this category present tutorials on Storm. See also the dedicated [tutorial page]({{ '/tutorials.html' | relative_url }}){:.alert-link}.

{% bibliography --query @*[category=tutorial] %}

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

{:.alert .alert-info} A list of tools which make use of Storm.

  • Caesar: Deductive verifier for probabilistic programs
  • CONVINCE: Open source toolbox to improve robust robot deliberation with the help of planning, learning, and model checking techniques
  • 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}.