Nils Jansen

Une méthode pour calculer des probabilités dans des systèmes avec un timing d'observations incertain.

Une étude sur les POMDP robustes et leurs implications pour la prise de décision face à l'incertitude.

Examiner les nouvelles avancées dans les outils pour vérifier des systèmes complexes.

Cet article parle des méthodes pour vérifier les réseaux de neurones dans des tâches d'atteinte-évitation.

Cet article parle de nouvelles méthodes pour l'entretien des tuyaux d'égout en utilisant l'apprentissage automatique.

Un aperçu des MDP robustes et de leur rôle dans la prise de décision en incertitude.