Update theses and welcome.md

Author: tillschallau

docs/src/data/theses.json

@@ -57,13 +57,13 @@
     "title": "Model Checking von CMFTBL-Formeln mit SMT-Solvern am Beispiel von automatisierten Fahrsystemen",
     "year": 2025,
     "type": "Bachelor's Thesis",
-    "finished": false
+    "finished": true
   },
   {
     "title": "A Proof-Logic-Based Explainable Model Checker for the Temporal Logic CMFTBL",
     "year": 2025,
     "type": "Master's Thesis",
-    "finished": false
+    "finished": true
   },
   {
     "title": "Scenario Generation based on missing feature combinations using SCENIC",
@@ -87,44 +87,20 @@
     "title": "Risikobewertung von Szenarien in STARS mittels unfallrelevanter Fahrmetriken",
     "year": 2025,
     "type": "Bachelor's Thesis",
-    "finished": false
+    "finished": true
   },
   {
     "title": "Implementation of a Traffic Data Acquisition Prototype for Scenario-Based Testing of Automated Driving Systems",
     "year": 2025,
     "type": "Masters's Thesis",
     "finished": false
   },
-  {
-    "title": "Analyse der Diversität des INTERACTION-Datensatzes",
-    "year": 2025,
-    "type": "Bachelor's Thesis",
-    "finished": false
-  },
-  {
-    "title": "Scenario Generation based on missing feature combinations using SCENIC",
-    "year": 2025,
-    "type": "Bachelor's Thesis",
-    "finished": false
-  },
-  {
-    "title": "Erstellung eines Autopiloten in CARLA mit einstellbarer Fahrqualität",
-    "year": 2025,
-    "type": "Bachelor's Thesis",
-    "finished": false
-  },
   {
     "title": "Eine Qualitative Analyse der Autonome-Fahrzeuge-Genehmigungs-und-Betriebs-Verordnung - AFGBV für Automatische Fahrsysteme",
     "year": 2025,
     "type": "Bachelor's Thesis",
     "finished": false
   },
-  {
-    "title": "Implementation of a Traffic Data Acquisition Prototype for Scenario-Based Testing of Automated Driving Systems",
-    "year": 2025,
-    "type": "Master's Thesis",
-    "finished": false
-  },
   {
     "title": "Evaluation einer blockgrenzenübergreifenden Segmentierung zur Analyse von Fahrdaten im STARS-Framework",
     "year": 2025,

docs/src/data/welcome.md

@@ -1,12 +1,20 @@
-**STARS** is a formal framework for analyzing and measuring _scenario coverage_ in testing automated robotic systems. 
-It allows users to formally define (environment) features and classify _recorded_ data into distinct scenario classes 
+[![Project Status: Active – The project has reached a stable, usable state and is being actively developed.](https://www.repostatus.org/badges/latest/active.svg)](https://www.repostatus.org/#active) 
+[![Maven Central](https://img.shields.io/maven-central/v/tools.aqua/stars-core?logo=apache-maven&label=MavenCentral%20stars-core)](https://central.sonatype.com/artifact/tools.aqua/stars-core)
+[![Maven Central](https://img.shields.io/maven-central/v/tools.aqua/stars-logic-kcmftbl?logo=apache-maven&label=MavenCentral%20stars-logic-kcmftbl)](https://central.sonatype.com/artifact/tools.aqua/stars-logic-kcmftbl)
+[![Maven Central](https://img.shields.io/maven-central/v/tools.aqua/stars-importer-carla?logo=apache-maven&label=MavenCentral%20stars-importer-carla)](https://central.sonatype.com/artifact/tools.aqua/stars-importer-carla)
+[![Maven Central](https://img.shields.io/maven-central/v/tools.aqua/stars-data-av?logo=apache-maven&label=MavenCentral%20stars-data-av)](https://central.sonatype.com/artifact/tools.aqua/stars-data-av)
+
+**STARS** is a formal framework for analyzing and measuring _scenario coverage_ in testing automated robotic systems.
+It enables users to formally define environment features and classify _recorded_ data into distinct scenario classes 
 using _Tree-based Scenario Classifiers_ (TSCs).
 
-By expressing scenario features in temporal logic and combining them hierarchically, STARS automatically identifies which 
-scenarios were encountered in recorded data — and which are still missing. 
-It computes metrics such as coverage, feature occurrence, and scenario distributions, supporting data-driven test selection 
-and safety assessment in accordance with standards like **ISO 21448** and **UL 4600**.
+By expressing scenario features in temporal logic and combining them hierarchically, STARS automatically identifies 
+which scenarios were encountered in recorded data — and which are still missing. Through logically defined monitors, 
+it can also validate requirements and provide insights into the simultaneous occurrence of features and requirement violations.
+
+The framework computes metrics such as _scenario coverage_, _feature occurrence_, and _scenario distributions_, supporting 
+safety assessment in regards to standards like **ISO 21448** and **UL 4600**.
 
-STARS is domain-agnostic, highly customizable, and implemented in Kotlin for interoperability with JVM-based languages.
+STARS is domain-agnostic, highly customizable, and implemented in Kotlin for seamless interoperability with JVM-based languages.
 
 Repository: [github.com/tudo-aqua/stars](https://github.com/tudo-aqua/stars)