Sebastian Junges

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.

Une nouvelle méthode améliore l'efficacité dans la compréhension des systèmes complexes grâce à l'apprentissage adaptatif.

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

Cet article parle du développement de politiques gagnantes entre familles de MDP.

Explorer comment les États interagissent à travers des jeux en informatique.