Joost-Pieter Katoen

Une nouvelle approche pour vérifier la justesse des programmes qui utilisent de l'aléa.

Ce travail discute des stratégies naturelles et des logiques probabilistes pour les systèmes multi-agents.

Apprends comment la bisimulation peut rendre la vérification de systèmes complexes plus facile.

Explorer comment combiner des objectifs sûrs et des objectifs seuils dans la prise de décision.