From d93d184d5dae67de2593d4f23ce0f56ad998dac8 Mon Sep 17 00:00:00 2001
From: sp <stefan@pranger.xyz>
Date: Thu, 26 Sep 2024 16:23:59 +0200
Subject: [PATCH] updated readme

---
 README.md | 67 +------------------------------------------------------
 1 file changed, 1 insertion(+), 66 deletions(-)

diff --git a/README.md b/README.md
index aeb2fa0f5..9220d2dfd 100644
--- a/README.md
+++ b/README.md
@@ -1,68 +1,3 @@
-Storm - A Modern Probabilistic Model Checker
+Tempest - A Shield Synthesis Tool
 ============================================
 
-[![Build Status](https://github.com/moves-rwth/storm/workflows/Build%20Test/badge.svg)](https://github.com/moves-rwth/storm/actions)
-[![GitHub release](https://img.shields.io/github/release/moves-rwth/storm.svg)](https://github.com/moves-rwth/storm/releases/)
-[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.1181896.svg)](https://doi.org/10.5281/zenodo.1181896)
-
-
-For more instructions, check out the documentation found in [Getting Started](http://www.stormchecker.org/getting-started.html).
-
-
-Benchmarks
-----------------------------
-
-Example input files for Storm can be obtained from  
-https://github.com/moves-rwth/storm-examples.
-
-Various Benchmarks together with example invocations of Storm can be found at the [Quantitative Verification Benchmark Set (QVBS)](http://qcomp.org/benchmarks).
-
-Further examples and benchmarks can be found in the following repositories:
-
-* **Prism files** (DTMC, MDP, CTMC):  
-http://www.prismmodelchecker.org/benchmarks
-* **Jani files** (DTMC, MDP, CTMC, MA):  
-http://jani-spec.org
-* **GSPN**s:  
-(private, contact: sebastian.junges@cs.rwth-aachen.de)
-* **DFT**s:  
-https://github.com/moves-rwth/dft-examples
-* **PGCL**:  
-(private, contact: sebastian.junges@cs.rwth-aachen.de)
-
-
-Authors
------------------------------
-Storm has been developed at RWTH Aachen University.
-
-###### Principal developers
-* Christian Hensel
-* Sebastian Junges
-* Joost-Pieter Katoen
-* Tim Quatmann
-* Matthias Volk
-
-###### Developers (lexicographical order)
-* Jana Berger
-* Alexander Bork
-* David Korzeniewski
-* Jip Spel
-
-###### Contributors (lexicographical order)
-* Daniel Basgöze
-* Dimitri Bohlender
-* Harold Bruintjes
-* Michael Deutschen
-* Linus Heck
-* Thomas Heinemann
-* Thomas Henn
-* Tom Janson
-* Jan Karuc
-* Joachim Klein
-* Gereon Kremer
-* Sascha Vincent Kurowski
-* Hannah Mertens
-* Stefan Pranger
-* Svenja Stein
-* Manuel Sascha Weiand
-* Lukas Westhofen