Participants : Héctor Cancela, Stéphanie Mahévas, Gerardo Rubino, Bruno Tuffin
Cet axe de recherche concerne l'un des goulots d'étranglement de la modélisation quantitative, celui de l'explosion combinatoire des espaces d'état. Ceci se produit aussi bien pour des modèles statiques, tels les diagrammes de fiabilité ou les arbres de défaillance, que pour les modèles dynamiques. Dans cette sous-section, nous décrivons des travaux dont le but est de traiter ce problème pour les processus stochastiques en général et markoviens en particulier.