Nils Jansen

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.

In diesem Artikel geht's um neue Methoden zur Wartung von Abwasserrohren mit Hilfe von Machine Learning.

Ein Blick auf robuste MDPs und ihre Rolle bei unsicheren Entscheidungsprozessen.