Quantitative Modellüberprüfung und Reglersynthese befassen sich mit der Aufgabe, zuverlässige Regler für sicherheitskritische Systeme automatisch zu synthetisieren. Wir befassen uns mit der Herausforderung der Zustandsraumexplosion und stellen zwei verschiedene Algorithmen vor, die auf der partiellen Erkundung von diskreten bzw. zeitkontinuierlichen Markov-Entscheidungsprozessen basieren. Darüber hinaus präsentieren wir die ersten Ergebnisse zur Darstellung von Reglern probabilistischer und hybrider Systeme knapp und erklärbar mithilfe von Entscheidungsbäumen.     «

Quantitative Modellüberprüfung und Reglersynthese befassen sich mit der Aufgabe, zuverlässige Regler für sicherheitskritische Systeme automatisch zu synthetisieren. Wir befassen uns mit der Herausforderung der Zustandsraumexplosion und stellen zwei verschiedene Algorithmen vor, die auf der partiellen Erkundung von diskreten bzw. zeitkontinuierlichen Markov-Entscheidungsprozessen basieren. Darüber hinaus präsentieren wir die ersten Ergebnisse zur Darstellung von Reglern probabilistischer und hybr...     »