Jakob Piribauer

Ein Blick darauf, wie Gewichtungsfunktionen die Analyse von linearen dynamischen Systemen verbessern können.

Dieser Artikel bietet einen neuen Blick auf die Analyse von Markov-Ketten durch Verteilungstransformatoren.

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.