PresentationXborne
De MARMOTE
- Un ensemble de petits programmes en C
- Pas d’interface graphique
- Communications par fichiers (structurés)
- Génération de DTMC à partir de fonction successeur et probabilité pour chaque événement (fichier C).
- Résolution distribution stationnaire
- Calcul de récompenses
- Matrices mal spécifiées (imprécises)
- Borne sur les matrices stochastiques (agrégation, censoring, pattern)
- Bornes sur les distributions (Algorithmes Nabla)