Jakob Piribauer

Ein neuer Ansatz zur Quantifizierung von Unsicherheit in Systemen unter Verwendung von MDPs.

Erforsche, wie Markov-Entscheidungsprozesse helfen, mit unsicheren Ergebnissen umzugehen und dabei Risiken zu berücksichtigen.

Lerne, wie Bisimulation die Überprüfung komplexer Systeme erleichtern kann.

Lern, wie Prädiktoren die Zuverlässigkeit moderner adaptiver Systeme verbessern.