Skip to content
Présentation
Équipes
Logique, calcul et programmation
Spécification et vérification de systèmes
Masters
Membres
Publications
Séminaire
Contact
Comment venir ?
Connexion
Présentation
Équipes
Logique, calcul et programmation
Spécification et vérification de systèmes
Masters
Membres
Publications
Séminaire
Contact
Comment venir ?
Connexion
Progress report on hardness of approximate graph colouring
28 mars 2022
Jakub Opršal
(Oxford)
tba
Navigation de l’article
On the strategy synthesis problem in MDPs: probabilistic CTL and rolling windows.
Fairness and promptness in Muller formulas
