Titre:
  • Interplays of Sure, Almost-Sure, and Threshold Parity Objectives on Markov Decision Processes
Auteur:Berthon, Raphaël
Président du jury:Filiot, Emmanuel
Promoteur:Raskin, Jean-François; Perez, Guillermo Alberto GP
Membre du jury:Katoen, Joost-Pieter; Geerts, Floris FG
Informations sur la publication:Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles
Date de défense:2022-10-28
Sujet CREF:Informatique générale
Volumes/pages:136 p.
Mots-clés:parity, mdp, games
Intitulé du diplôme:Doctorat en Sciences
Langue:Anglais
Anneé académique:2022-2023
Institution de co-tutelle:Universiteit Antwerpen, Faculty of Science, Department of Mathematics - Computer Science - Doctor in de wetenschappen: informatica