COOL-MC: Verifikation und Erklärung von RL-Strategien für Mehrbrücken-Netzwerke
Die neue Methode COOL-MC ermöglicht es, Reinforcement‑Learning‑Strategien für die Wartung von Brückennetzwerken systematisch zu prüfen und zu erklären. Dabei wird ein bewährtes Markov‑Entscheidungsmodell (MDP) für eine…