Sebastian Junges

Eine Methode zur Berechnung von Wahrscheinlichkeiten in Systemen mit unsicherem Zeitpunkt der Beobachtungen.

Eine Studie über robuste POMDPs und ihre Auswirkungen auf die Entscheidungsfindung unter Unsicherheit.

Neue Entwicklungen bei Werkzeugen zur Überprüfung komplexer Systeme untersuchen.

Dieser Artikel beschäftigt sich mit Methoden zur Verifizierung von neuronalen Netzwerken in Reach-Avoid-Aufgaben.

Eine neue Methode verbessert die Effizienz im Verständnis komplexer Systeme durch adaptives Lernen.

Ein Blick auf MDPs und ihre Rolle bei Entscheidungen unter Unsicherheit.

Dieser Artikel behandelt die Entwicklung von erfolgreichen Strategien über Familien von MDPs.

Erforschen, wie Staaten durch Spiele in der Informatik zusammenhängen.