Equipe enseignante
François Laroussinie.
Actualités
Le premier cours aura lieu mardi 13 janvier.
Programme
- Chaînes de Markov:
- Définitions
- Probabilités des propriété d'accessibilité (accessibilité simple, "Until", accessibilité répétée).
- Algorithmes d'encadrement
- Bisimulation probabiliste
- Logique PCTL
- Chaînes de Markov avec coûts.
- Processus de décision de Markov
- Définition, notion de scheduler
- Probabilités min/max des propriétés d'accessibilité
- Algorithme "value iteration"
- Décomposition en "Maximal End Components"
- Réduction min et réduction max pour les propriétés d'accesibilité.
- PCTL
Documents