Thèse de doctorat en Sciences appliquées
Sous la direction de Michel de Rougemont.
Soutenue en 1993
à Paris 11 .
Dans cette these nous avons etudie le role que peut jouer le hasard pour le developpement de verificateurs efficaces. Nous nous sommes interesses d'un point de vue theorique a la verification efficace de quelques problemes avec incertitudes sur les graphes et, d'un point de vue pratique, a l'etude d'une application dans le domaine de la planification avec incertitudes. Les trois premiers chapitres de cette these presentent les differentes notions de verification et en particulier les preuves interactives. Les chapitres suivants decrivent les apports principaux de cette these: 1) la construction de verificateurs probabilistes efficaces pour des problemes de comptage et de fiabilite dans un graphe. Il faut remarquer la generalite de la technique sous-jacente utilisee; 2) la determination de bornes superieures au nombre d'echanges pour verifier ces problemes, bornes bien meilleures que celles que l'on trouve pour les verificateurs construits de maniere indirecte (c. A. D. , en utilisant le protocole existant pour =sat); 3) la definition d'un cadre theorique pour la planification avec incertitudes, ou les concepts de robustesse et performances d'une strategie sont definis; 4) l'etude d'un outil pour verifier la robustesse d'une strategie et la definition des etapes vers la construction d'un tel outil
Probabilistic verification of graphs problems: applications to planning under uncertainty
Pas de résumé disponible.