set theses to finished

Author: nickpawlinorz

docs/src/data/theses.json

@@ -51,13 +51,13 @@
     "title": "Continuous TSC evaluation and visualization for driving in CARLA",
     "year": 2025,
     "type": "Bachelor's Thesis",
-    "finished": false
+    "finished": true
   },
   {
     "title": "Strategien zur Segmentierung von Simulationsfahrten für formale Analysen mit STARS",
     "year": 2025,
     "type": "Bachelor's Thesis",
-    "finished": false
+    "finished": true
   },
   {
     "title": "Model Checking von CMFTBL-Formeln mit SMT-Solvern am Beispiel von automatisierten Fahrsystemen",