Sebastian Junges

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.